Algorithms to Live By
Brian Christian
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Meditations
Marcus Aurelius
Change by Design
Brown, Tim
The E-Myth Revisited: Why Most Small Businesses Don't Work and ...
Michael E. Gerber