Civil Disobedience
Henry David Thoreau
The Soul of a New Machine
Tracy Kidder
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Physics
Eberly, David H.
Divine Proportions: Rational Trigonometry to Universal Geometry
Norman John Wildberger