Life 3.0
Max Tegmark
Language Implementation Patterns
Terence Parr
The analects of Confucius
Confucius
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling