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 An event-contingent clearing network.

Event-contingent clearing networks

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 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).