Writing a Simple Operating System from Scratch
Nick Blundell
The Sublime Object of Ideology
Slavoj Zizek
On the Genealogy of Morals
Frederich Nietzsche
Game Programming Gems 5
Kim Pallister
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program