Vol. I · No. 0 26th September, 2026

formaliz.ing

Notes & Thoughts upon Type Theory, Mathematics, Philosophy, and the Art of Decision

Thoughts

Longer essays on philosophy, decision theory, and adjacent matters.

Nothing has yet been set in type.