Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
On the Genealogy of Morals
Frederich Nietzsche
Writing a Simple Operating System from Scratch
Nick Blundell
Rework
Jason Fried & David Heinemeier Hansson
Anti-Tech Revolution: Why and How
Theodore John Kaczynski