Introduction to Homotopy Type Theory, Egbert Rijke’s book is ready!
The X11 Conservancy Project (X11CP) pulls together the disparate set of programs which were being written between the very late 80s, and early 90s.
HDDSuperClone has been released under GPL2. It bypasses the Linux IDE/AHCI/USB stack, apparently works better with broken drives.
A trick of my dmenu setup: a custom $PATH, neat trick by Chris Siebenmann.
Another word on Accidenz-Grotesk and Royal-Grotesk’s appearances in Theinhardt specimens (2020), by Dan Reynolds.
Klingspor Type Archive, contains some digitalizations.
NTSC video signal encoding / decoding emulation, By EMMIR.