Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
Managing Oneself
Drucker, Peter Ferdinand
Totalitarianism
Hannah Arendt
Linkers and Loaders
John R. Levine