Divine Proportions: Rational Trigonometry to Universal Geometry
Norman John Wildberger
A brief introduction to type theory and the univalence axiom
Jackson Macor
Practical Foundations for Programming Languages
Robert Harper
Game Programming Gems
Mark A. Deloura
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche