Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham
Zero to One: Notes on Startups, or How to Build the Future
Peter Thiel & Blake Masters
Damascius' Problems and Solutions Concerning First Principles
Damaskios
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson