Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Model Thinker
Scott E. Page
The Great Illusion
Norman Angell
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
The Essential Cantong qi
Golden Elixir Press