Blood, Sweat, and Pixels
Jason Schreier
The Search for the Perfect Language
Umberto Eco
A Mathematician's Apology
G. H. Hardy
Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program