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, by djb.
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.