Local-first workspace for local and cloud AI models, project context, and supervised coding agents, with provider APIs, approvals, diff review, usage reporting, and OpenTelemetry.
Research tool for proving bugs in ECMAScript specifications, TypeScript, JavaScript engines, and WebAssembly runtimes using pinned source data, Coq/Rocq mechanization, differential runs, patch scaffolding, and deterministic replay.
MCP server for clause-level ECMA-262 and ECMA-402 search, cross-spec references, edition diffs, git history, Test262 and proposal lookup, and SHA-pinned local or hosted responses.
Read-only MCP server for WebAssembly specifications with instruction and clause lookup, opcode and stack-signature metadata, proposal search, and SHA-pinned local or hosted responses.
Independent engineering and research across AI agents, web standards, developer tools, and open source.
Build local-first agent tooling for model access, supervised coding sessions, approvals, diff review, and telemetry.
Develop standards and conformance tools for ECMAScript, TypeScript, and WebAssembly, including source pinning and differential testing.
Contribute to TC39/ECMA-262 and Test262 by analyzing proposal trade-offs, refining specification text and semantics, and collaborating with browser vendors, JS engines, and the standards community.
Consult on agent architecture, developer tooling, observability, and deployment.
Invited Expert · TC39
May 2019 — Present
Co-authored the Promise.any proposal and contributed editorial improvements to ECMA-262.
Participate in proposal discussions, evaluate compatibility and ergonomics trade-offs, and develop Test262 tests to validate JavaScript behavior across engines.
Software Engineer · Firetiger
US · Remote
May 2024 — May 2025
Firetiger acquired Dispatch.run four months into the role.
Firetiger observability platform
Built product features and infrastructure for an OpenTelemetry-based observability platform.
Helped early customers instrument Python and TypeScript services and deploy integrations across Vercel, Kubernetes, and Terraform-managed infrastructure.