Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Modern Man in Search of a Soul
C.G. Jung, W. S. Dell, Cary F. Baynes
The Federalist
Pain Webber
Real-Time C++ Efficient Object-Oriented & Template Microcontroller ...
Christopher Michael Kormanyos
Crush It!: Why NOW Is the Time to Cash In on Your Passion
Gary Vaynerchuk