Real-Time C++ Efficient Object-Oriented & Template Microcontroller ...
Christopher Michael Kormanyos
A Mathematician's Apology
G. H. Hardy
Platform
Cynthia Johnson
Zero to One: Notes on Startups, or How to Build the Future
Peter Thiel & Blake Masters
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program