I work on how systems get represented — so people and machines can reason about them.
Programming languages · AI infrastructure · Scientific computing
Website · Research · Repositories
Coding agents · Conversation records · Codebase context · 3D worlds · Presentations
Systems in detail
Every change arrives as a whole file or an exact, verbatim swap, applied under compare-and-swap. An edit lands where it was aimed or fails closed. GitHub
Durable, auditable records of work done with language models. Local-first, encrypted, open export format, deployable inside a private network. crates.io · About
Compiles any subset of a codebase into a single deterministic, model-readable codex. Recursive import resolution, token-bounded sharding, cross-file diff. crates.io · DOI 10.5281/zenodo.15033378
A semantic spatial language and deterministic compiler. Entities, materials and relations resolve into voxel geometry — legible to humans and to models, which is the point. Sandbox · GitHub
A canonical presentation model that moves between PPTX, JSON, a CLI and agents, without the zipped file ever being the source of truth. Editor · GitHub
Research
MacroGym — the first open-source controlled benchmark for counterfactual evaluation in macroeconomics. Synthetic economies with known nonlinear dynamics, from which exact ground-truth counterfactuals are computed by re-simulation. Repository
Working papers with the Banco Central de Reserva del Perú: neural architecture search for inflation forecasting (DT 009-2024), Kolmogorov–Arnold networks and the Phillips curve (DT 025-2025), metadata-guided variable selection (under review, Applied Soft Computing).
Ph.D., University of Florida — kinetic Monte Carlo modeling of crystal growth. Co-inventor, US Patent US20210178024A1.