Soft Skills: The software developer's life manual
John Sonmez
Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Anti-Tech Revolution: Why and How
Theodore John Kaczynski
Ways that are Dark: The Truth about China
Ralph Townsend