Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Electromagnetic Retardation and Theory of Relativity: New Chapters ...
Oleg D. Jefimenko
The C++ Programming Language
Bjarne Stroustrup
Tao Te Ching
Lao-tzu
No bullshit guide to linear algebra
Ivan Savov