Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin
Life 3.0
Max Tegmark
The Mobile Wave
Michael Saylor
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
Algorithms to Live By
Brian Christian