Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Intelligent Investor
Benjamin Graham
Ethics
Spinoza
The Way to Wealth
Benjamin Franklin
The Model Thinker
Scott E. Page
The Design of Everyday Things: Revised and Expanded Edition
Norman, Don