Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Computers as Theatre
Brenda Laurel
The Book of Five Rings
Musashi Miyamoto
A History of Mathematical Notations: Vol. I
Florian Cajori
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove