Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Writing a Simple Operating System from Scratch
Nick Blundell
Computers as Theatre
Brenda Laurel
Homage to Catalonia
George Orwell
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar