Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Grain Brain Whole Life Plan
David Perlmutter MD
The General Theory of Employment, Interest and Money
Keynes, John Maynard
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin