John Regehr's Home Pagehttps://users.cs.utah.edu/~regehr/
and John Regehr. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) , October 2025. First-Class Verification Dialects for MLIR . Mathieu Fehr, Yuyou Fan
"I Contribute to the Windows Kernel. We Are Slower Than Other Operating Systems. Here Is Why."http://blog.zorinaq.com/i-contribute-to-the-windows-kernel-we-are-slower-than-other-oper/
about by technology and computers will benefit the business exclusively, with none of their benefits being shared with the employee. If productivity doubles, profit doubles, workl
I was explaining on Hacker News why Windows fell behind Linux in terms of operating system kernel performance and innovation. And out of nowhere an anonymous...
Participation in the information agehttps://gotze.dk/phd/it.html
Democracy aided by computers, and in particular, computer networks (e.g., the internet) is the subject of many current debates and discussions locally and globally. There are also
The computer built to last 50 yearshttps://ploum.net/the-computer-built-to-last-50-years/
in the cold. Of course, computers are not typewriters. They do a lot more than typewriters. But could we imagine a computer built like a typewriter? A computer that could stay wit
The computer built to last 50 years par Ploum - Lionel Dricot.
An MCF Tutorialhttps://www.w3.org/TR/NOTE-MCF-XML/MCF-tutorial.html
can create them and computers can exchange and use them. The syntax is based on XML, the Extensible Markup Language. In XML, documents contain elements , which have types and are
I'm alone, but not lonelyhttp://www.cjas.org/~leng/otaku-e.htm
writing games on home-computers first appeared. By the age of thirteen she had made friends with the manager of the game-parlor to which she now went daily. He introduced her to s
Order Of Magihttp://www.orderofmagi.com/
ratings among computers and beings. Las Vegas, Nevada, USA. Designed and Coded mpg1 and upgraded jpg picture compression. SubCommander 2: Lea(Look everytime a) Jony(Jew/Jap{panese
Those That Protect All, Those That Var The Illuminati, Those That Control All Beings; The Magi
Luke Smith Fanclub & Archivehttps://lukesmith.neocities.org/
Technology Only Use Old Computers! tl;dr: modern computers are overpriced spyware; old ThinkPads are cheap, durable, repairable; Linux runs fast on them; most people need nothing
LukeSmith.xyz fanclub and archive – removed articles, lost videos, and community opinions. Explore content no longer on lukesmith.xyz.
Creating Dynamic Charactershttp://www.tads.org/t3doc/doc/techman/t3actor.htm
library classes and the object-oriented programming and so on, and we think about it reductively, IF characters are made of dead, inanimate matter in the form of bits on a compute
Who the hell is Marc Perkelhttps://www.perkel.com/marc.htm
get into and I decided computers was it. I learned computers the hard way. Out on the streets. Hanging around with other computer nerds in the late 70s who never went to college e
Peter Gutmann's Home Pagehttps://www.cs.auckland.ac.nz/~pgut001/
mechanisms (and computers in general), and outlines means of protecting crypto in environments where you need to expect data and computation results to modify themselves at random
NLnet; Current projectshttps://nlnet.nl/project/current.html
ARM-based single board computers AtomicServer Local-First AtomicServer Local-First Headless CMS Authlib Reliable OAuth and OIDC handling in Python Autogram 2.0 Create and validate
Find more...