Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Hero With A Thousand Faces
Joseph Campbell
A treatise on electricity and magnetism
Maxwell, James Clerk, 1831-1879
Game Programming Gems 8
Adam Lake
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche