A brief introduction to type theory and the univalence axiom
Jackson Macor
Practical Foundations for Programming Languages
Robert Harper
The analects of Confucius
Confucius
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
Game Programming Gems 3
Dante Treglia
Game Programming Gems 4
Andrew Kirmse
Game Programming Gems 5
Kim Pallister
Rust Programming by Example
Guillaume Gomez & Antoni Boucher