Self-hosted systems + scientific programming language with epistemic types, uncertainty propagation, algebraic effects, and formalized non-associative algebra.
programming-language algebraic-effects compiler scientific-computing self-hosting formal-verification uncertainty-propagation systems-programming octonions egraph non-associative-algebra epistemic-computing
-
Updated
Apr 16, 2026 - Python