The source code for the winners of the 26th IOCCC has been released.
OpenBSD 6.6 has been released.
sysupgrade worked great here.
Metamath Zero: The Cartesian Theorem Prover, by Mario Carneiro.
“Metamath Zero is a verification
system that aims for simplicity of logic and implementation, without
compromising on efficiency of verification.”
A computer-generated proof that nobody understands
Why EdDSA held up better than ECDSA against Minerva,
UNIX: A History and a Memoir, new book by Brian W. Kernighan.
agave is a fixed-width outline typeface. Interesting look.
Minimal Wim, 3x3 grid font design.
Synopsis: Telling Whiskey from Whisky with microscopes.
Migrating Russian eagles run up huge data roaming charges