Stand on Zanzibar
John Brunner
Philosophy of Mathematics
Linnebo, Øystein
Game Engine Black Book Doom (v1.1)
Fabien Sanglard
Blood, Sweat, and Pixels
Jason Schreier
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program