Protocols, Proofs & Incentives
Verification, mechanism design, privacy-preserving systems, and structures that remain legible under strategic behavior.
I work on systems that need to remain credible under pressure.
My background crosses protocol design, infrastructure, real-time machine learning, long-form writing, and formal research. What connects those domains is not résumé variety. It is a recurring problem: how do you preserve signal, coordination, and durable value when the surrounding environment becomes noisy, strategic, or adversarial?
I came into technical work through music. Long before I was thinking about threat models or distributed systems, I was thinking about counterpoint, tension and resolution, invariants, motion, and form. That training never disappeared. It still shapes how I approach engineering, research, and writing.
In practice, that has meant building privacy-preserving and adversarial systems, working on distributed ML and secure infrastructure, shipping latency-sensitive detection systems, and writing about verification collapse, synthetic media, money, sovereignty, and institutional drift. It has also meant originating the public properties, research programs, and knowledge infrastructure described on this site — AfterFiat, Eschatology Report, Capability Commons, GAMUT — each built from scratch rather than inherited or curated.
I am not interested only in software abstractions. I care about the systems households and communities actually depend on: power, water, shelter, repair, tools, local competence, and the transmission of usable knowledge. That concern is not theoretical. It shapes where I live, what I build, and what I teach. It sits directly behind Capability Commons. Public capability is not a side interest. It is part of the same broader architecture.
The visible work spans several domains, but they all feed the same deeper concern.
Verification, mechanism design, privacy-preserving systems, and structures that remain legible under strategic behavior.
Distributed training, secure deployment, real-time inference, edge systems, and production workflows built for reality rather than theater.
Long-form work on verification, synthetic media, coordination, repression, sovereignty, and durable value.
Platforms, schemas, retrieval systems, and teach-forward structures that help people move from information to action.
Research into sound, symmetry, lawful form, and the deeper structures that continue to shape how I think.
A few principles show up often enough that they function as a working philosophy.
I trust proofs, receipts, clear mechanisms, and measurable behavior more than slogans, vibes, or borrowed prestige.
I care about what survives contact with latency, logistics, budgets, adversaries, partial observability, and actual conditions of use.
Engineering, writing, music, and research all become clearer when treated as problems of form: relation, motion, tension, invariants, and composition.
Serious work should survive scrutiny without becoming unreadable. Depth and clarity are not enemies.
Software eventually lands in bodies, homes, households, tools, grids, and institutions. I care about that full stack.
Right now, the work clusters around systems that preserve signal under adversarial conditions, writing on verification and monetary architecture, knowledge infrastructure for practical public capability, and formal research on music, geometry, and lawful structure. I also take on selective architecture-heavy work where the problem is real and the constraints matter.
If you want shipped systems, start with Work. If you want the larger map, go to Projects & Labs. If you want to talk, reach out.