A brief introduction to type theory and the univalence axiom
Jackson Macor
Game Programming Patterns
Nystrom, Robert
The Book of Five Rings
Musashi Miyamoto
Mental Language: From Plato to William of Ockham
Claude Panaccio
Rework
Jason Fried & David Heinemeier Hansson
