A brief introduction to type theory and the univalence axiom
Jackson Macor
Aristotelis Categoriae: Liber De Interpretatione
Aristotle
Civilization and its Discontents [1929; 2002, 2010]
Sigmund Freud
Writing a Simple Operating System from Scratch
Nick Blundell
Rework
Jason Fried & David Heinemeier Hansson
