The Soul of a New Machine
Tracy Kidder
Geometria
René Descartes
Totalitarianism
Hannah Arendt
Projective Geometric Algebra
Eric Lengyel
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program