Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Programming Gems 4
Andrew Kirmse
The Method of Archimedes
Archimedes
The Gulag Archipelago
Aleksandr Solzhenitsyn
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush