Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Crafting Interpreters
Timothy Andrew
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Orpheus and the Roots of Platonism
Algis Uždavinys
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche