The Platonic Doctrines of Albinus
Albinus
The Salt Fix
Dr. James DiNicolantonio
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
The Soul of a New Machine
Tracy Kidder
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program