Writing

Infrastructure

2025 Sensoria Protocols for the study of consciousness.
2025 LICC A laboratory for coordination science.
2025 Programmable Institutions Institutions as reproducible infrastructure.
2025 Special Economic Zones in a Box A network model for economic zones.
2025 Moxie A clearing and settlement layer for claims and their derivatives.

Claims clearing and settlement

2025 MoxieBFT Consensus with commitments to complete event history.
2025 Programmable Securities Securities whose rules execute with the instrument.
2025 Oracle Resolution A common policy for committees, markets, and cryptoeconomic proof.
2025 Liquidity Aggregation Routing liquidity across exchange graphs.
2025 Prediction Markets and AMMs Prediction prices inform AMMs without feedback manipulation.
2025 AMM-Aware CCP Risk Clearinghouse risk for AMM-native settlement.
2025 Ising Couplings in Event Markets Inferring correlation from parlay trades.

Built Environment

2025 Smart Buildings A programmable operating system for the built environment.
2025 Prefabricated Construction
2025 Archai Primitives for land and community ownership.

Programming Languages

2026 Lex A logic for rules, authority, time, and discretion.
2026 Op A bytecode for proof-carrying institutional workflows.

Mathematics

2025 Modular Koszul Duality Volume I: bar-cobar duality for chiral algebras on curves.
2025 Holomorphic-Topological QFT Volume II: A∞ chiral algebras and their 3d field theories.
2025 Calabi-Yau Quantum Groups Volume III: chiral algebras from Calabi-Yau categories.
2020 The Dirac Square Root of the Igusa Form Slides presenting more Calabi-Yau geometries.
2018 Remarks on Mixed Holomorphic-Topological Strings
2017 Algebraic D-Modules Lecture notes for MIT 18.769 (Pavel Etingof).
2017 Infinite-Dimensional Lie Algebras Lecture notes for MIT 18.747 (Pavel Etingof).