Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Soul of a New Machine
Tracy Kidder
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
On Perceived Motion and Figural Organization
Max Wertheimer
Zero to One: Notes on Startups, or How to Build the Future
Peter Thiel & Blake Masters