The Model Thinker
Scott E. Page
Modern C
Jens Gustedt
A brief introduction to type theory and the univalence axiom
Jackson Macor
Blood, Sweat, and Pixels
Jason Schreier
Principles
Ray Dalio
