Programming Game AI by Example
Mat Buckland
Practical Foundations for Programming Languages
Robert Harper
Zero to One: Notes on Startups, or How to Build the Future
Peter Thiel & Blake Masters
A brief introduction to type theory and the univalence axiom
Jackson Macor
The Grain Brain Whole Life Plan
David Perlmutter MD