The machinery that lets software be delivered by agents but governed like infrastructure — capability-based security where every privileged effect is verified against a signed owner. The harder problem, keeping many agent-authored components honest as they evolve, is prx and the bounded-systems libraries.
Skills
Capability-based security · Access control · TypeScript · Systems architecture · Rust · Python · Nix · CI/CD & provenance · Node · Postgres · Docker · AWS
Experience
AuraOct 2023 — present
Senior Software Engineer · Commerce · New York · Hybrid
- Architected the contract-and-validation layer replacing Aura's spreadsheet-driven supply plan (the system behind inventory-purchasing): a compile-and-publish model where one source of truth generates every downstream surface — schemas, docs, tests, agent context — CI drift-gated so nothing falls out of sync.
- Made the pipeline auditable by construction across 130+ components — provenance and contract checks gating every output, sign-off bound to an owner-role enforced in CI rather than to individuals.
- Drove it as agent-authored delivery: every change moves through one auditable pipeline to a reviewed PR, applying the same provenance-and-contract discipline to the agents' own output.
L2LApr 2021 — Sep 2023
Software Engineer · New York · Remote
- Built static-analysis gating into the PR pipeline — blocking defects before merge, cutting critical bugs ~20% and high-priority issues ~25% across a 20-engineer team.
- Led a Design System rollout with Design & Product — reducing task lead time ~30% (Vue, Figma, Sass, design tokens).
- Re-engineered pagination/infinite-scroll in a key component library — page loads from ~30s to near-instant (~95% faster).
- Built a flexible dashboard framework — shortening widget development from a week to a day (~70% faster).
Pioneer Works · Kaleida Studio · The Prepared2018 — 2021
Software Engineer (Contract) · Brooklyn / Remote
- Designed and shipped a unified CRM + Square-API ETL — cut payment-tracking ~80% and enabled profit-loss reporting across 200+ events (Pioneer Works).
- Automated just-in-time production and notifications — eliminated edition-numbering errors and cut shipping lead times from 7 days to 2 (Kaleida Studio).
- Built a content pipeline + Airtable schema that cut curation time ~70% across 1000+ articles (The Prepared).
Recurse CenterFall 2019
Participant · Brooklyn
- Studied type theory in Haskell — algebraic data types, typeclasses, and using the type system to make invalid states unrepresentable.
Education
Bennington College2009 — 2012
Computational & parametric design — algorithmic design for digital fabrication.