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
HDDSuperClone has been released under GPL2.
It bypasses the Linux IDE/AHCI/USB stack, apparently works better with
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,
Building arbitrary Life patterns in 15 gliders