AI Game Programming Wisdom
Steve Rabin
Mencius
Mencius & D. C. Lau
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Four Thousand Weeks: Time Management for Mortals
Oliver Burkeman
Linkers and Loaders
John R. Levine