Notes on rebuilding a mathematical foundation from structures and axioms, instead of formulas and techniques.
Thoughts on systems research, distributed computing, and machine learning.
Notes on rebuilding a mathematical foundation from structures and axioms, instead of formulas and techniques.