- Years working
- 15
- Roles
- 12
- Schools and courses
- 1
- Projects
- 11
- Awards and certificates
- 1
- Oct 2026 – present · 2 mos
llmtobinary
Project
An experimental computing platform where language models generate literal executable machine bytes rather than source code, which are validated and executed on a custom virtual computer.
- Designed the ANMA-1 virtual instruction set, validator, interpreter, and WebAssembly execution path.
- Built an interactive browser-based virtual computer with memory, registers, devices, and visual execution tracing.
- Developed checker-assisted agent loops, independent correctness tests, and formal verification experiments.
- Sep 2026 – present · 3 mos
Bode
Project
Developing a general-purpose agent execution harness for persistent sessions across web, CLI, and local development environments.
- Designing durable agent orchestration, resumable sessions, and execution across local devices and remote workers.
- Exploring multi-computer execution, session branching, and long-running autonomous development workflows.
- Apr 2026 – present · 8 mos
Toiletpaper
Project
An adversarial research-paper replication engine that extracts scientific claims, constructs evidence graphs, runs independent checks, and records reproducibility verdicts.
- Processed the Kolmogorov-Arnold Networks paper: 102 claims extracted, 24 reproduced, and 3 contradicted.
- Combines LLM extraction, simulations, mathematical checks, and provenance through Donto.
- Nov 2025 – present · 1 yr 1 mo
Blocks
Project
A semantic validation system for AI-generated code, using domain specifications to detect inconsistencies and implementation drift.
- Declarative domain specifications using entities, signals, measures, and rules.
- Schema, structure, and LLM-based domain validation with actionable feedback for coding agents.
- Sep 2025 – present · 1 yr 3 mos
Alpha
Project
A dependently typed programming language and compiler for AI learning systems. Compiles model mathematics, training loops, host code, and GPU instructions into self-contained executables without conventional machine-learning runtimes.
- Trained a 1.38B-parameter language model over 5.84B tokens on two H100 GPUs, averaging 247,865 tokens/sec with an Alpha-generated executable.
- Built native NVIDIA GPU code generation, FP8 kernels, attention, multi-GPU NVLink communication, and direct driver interfaces without CUDA, PyTorch, or NCCL on the training path.
- Developing dependent types, formal verification, and compiler infrastructure for agent-driven discovery of new algorithms and learning systems.
- Jul 2025 – present · 1 yr 5 mos
llm-benchmark
Project
CLI for using language models to optimize functions, validate functional equivalence, and benchmark implementations across languages and providers.
- Supports JavaScript, TypeScript, Python, Rust, and Go.
- Includes automated verification, performance comparison, a terminal UI, and cost analysis.
- Jun 2025 – present · 1 yr 6 mos
TPMJS
Project
Tool Package Manager for AI Agents. Discovers, validates, and exposes npm packages as tools through MCP, SDKs, and command-line interfaces.
- Automatic npm tool discovery and sandboxed Deno execution.
- MCP aggregation and agent tooling infrastructure.
- Platform for building, sharing, and extending AI agents.
- Jun 2025 – present · 1 yr 6 mos
Omega
Project
An AI-powered Discord agent with 80+ tools, multi-database memory, code execution, and autonomous improvement workflows.
- Code execution across 42+ programming languages.
- Agent tooling for software development, communication, and GitHub-driven self-improvement.
- Jan 2025 – present · 1 yr 11 mos
Donto
Project
An evidence-first knowledge system for AI agents, built in Rust and PostgreSQL. Stores contradictory claims with provenance, bitemporal history, query-time reconciliation, and formal verification.
- 42M+ statements and millions of evidence links, with large-scale LLM extraction and agentic-memory tooling.
- Custom query language, predicate alignment, temporal reasoning, and provenance-aware access control.
- 62 Lean 4 theorems proving core invariants, plus signed and reproducible knowledge releases.
- May 2021 – present · 5 yrs 7 mos
Principal Engineer — AI (contract)
Work Independent (contract & advisory)
Principal-level contract engineering, most recently owning the AI capability of an HR-tech SaaS end to end: the agentic layer of the product — an in-app copilot with tool-calling over live customer data, autonomous document-generation pipelines, and the server-side compute services underneath — while shipping across the full stack (PHP/GraphQL, React, Go gateway, edge services).
- Built an in-app AI copilot: multi-provider tool-calling agent (Anthropic + OpenAI via Vercel AI SDK) with data-query and mutation tools, an LLM-as-judge quality gate scoring every response on 8 dimensions, and SSE keep-alive for long agent streams
- Designed an autonomous report pipeline — one model plans the document, Claude Agent SDK runs write it against live data, a second agent pass compiles branded slide decks via a 90+ layout PPTX compiler with chart rasterization and LaTeX PDF output, agents running in a parallel containerized fleet
- Moved heavy analytics server-side (Bun + Hono behind a Go gateway): pure-function ports oracle-verified for numeric parity with the client engine, event-keyed Redis caching, validated at 20k+ entity scale
- AI data enrichment: ingested a ~32-table public occupational dataset, LLM-classified it into customer data structures, and built persona-driven simulation commands generating realistic test data at scale
- Shipped a standalone real-time collaborative app on Cloudflare Workers + Durable Objects — WebSocket presence, optimistic updates with server reconciliation, embedded AI assistant with client-side tool execution
- Hunted down multi-user concurrent-edit data loss with a purpose-built integrity harness: truly-parallel mutation racing, event-chain fork detection, contract tests driving real client reducers against the live API
- Jan 2020 – present · 6 yrs 11 mos
Creator & Maintainer
Volunteering MobTranslate
Open-source language revitalization platform for Aboriginal Australian languages: dictionaries for dozens of languages, real-time AI translation, community voice recording, an Android keyboard, and a full speech/ML stack built with the community, not just for it. Supports 1,200+ language codes.
- Neural TTS pipeline: MMS-TTS (VITS) driven through a grammar-grounded orthography bridge that maps Kuku Yalanji spelling onto a same-family Pama-Nyungan donor voice (per Patz's reference grammar), per-word phonemic IPA for 2,679 dictionary words, deterministic seeded synthesis with full provenance, and a per-language model registry
- ASR for low-resource speech: wav2vec2/Omnilingual CTC fine-tuning pipeline with reproducible dataset builds, serverless training runs, and benchmark harnesses
- LLM translation fine-tunes with research-grade evaluation: lexical censuses, prompt ablations, dose curves, failure taxonomies, and curriculum replay datasets across Kuku Yalanji and Mi'gmaq
- Native Android keyboard (IME), community recording infrastructure where real speaker audio always outranks synthesis, and sentence-corpus pipelines that turn recordings into training manifests
- CARE-aligned governance: synthetic voices are explicitly flagged as scaffolds, donor voices are borrowed until a community licenses its own, and per-speaker (elder) models require explicit, revocable consent
- 300+ commits since 2025: elder-friendly portals, hosted adapters, release automation
- Earlier related work: an open-source computer-vision model that identifies the Australian Aboriginal Flag (2021)
- Apr 2014 – present · 12 yrs 8 mos
Founder
Work JSON Resume
JSON Resume is the open standard for resumes as JSON. I founded it in 2014 and still run it. What started as a schema is now an ecosystem: jsonresume.org renders any resume in 52 themes at jsonresume.org/@username, matches it against live Hacker News hiring posts with AI, and connects it to agents and HR tools. The whole thing lives in one open source monorepo.
- 7,000+ GitHub stars across the project's repos; tens of thousands of users
- Built AI job matching: embedding-based retrieval against live Hacker News hiring posts, hybrid retrieval and LLM reranking, with a gold-set eval harness that lifted precision at 5 from 0.2 to 0.8
- Rebuilt jsonresume.org in 2026 on a self-hosted Effect, React and Postgres stack: accounts, an in-browser editor that writes back to GitHub gists, and an OAuth 2.1 / OpenID Connect provider so HR tools can offer “Sign in with JSON Resume”
- An MCP server with a tool for every feature, so ChatGPT, Claude and other agents can manage a resume end to end
- 52 first-party themes rendered server-side, with render and section-coverage CI gates on every one
- Maintain the published packages: @jsonresume/schema, resume-cli, @jsonresume/jobs, @jsonresume/core, json-resume-serde (Rust)
- Jan 2011 – present · 15 yrs 11 mos
Co-Founder
Work cdnjs
Following Google's CDN for jQuery, we started a CDN for the less popular JavaScript and CSS libraries: community moderated and open source on GitHub. We secured the partnership with Cloudflare, which now runs its infrastructure.
- Serves hundreds of billions of requests a month, and millions of sites use it in production
- A larger market share than Yahoo's, Microsoft's and Google's JavaScript CDNs
- 3,000+ popular libraries; millions of developers visit the site each year; 10,000+ GitHub stars
- May 2020 – May 2021 · 1 yr 1 mo
Senior Javascript Developer
Work Tokenized
Built the frontend of an Electron-based Bitcoin wallet for issuing, managing, and trading digital tokens.
- Developed React and Redux interfaces for secure wallet operations.
- Implemented local key-management and transaction-signing workflows, keeping private keys on the user's device.
- Mar 2018 – Jan 2020 · 1 yr 11 mos
Senior JavaScript Developer, then Tech Lead
Work Blockbid
Australian cryptocurrency exchange. I started on the frontend and became tech lead, working on every moving piece of the exchange; I especially enjoyed connecting liquidity providers' platforms to give us liquid markets.
- Built trading interfaces and exchange services using React, Apollo, Node.js, and Rails.
- Integrated liquidity providers and optimized SQL queries across tens of millions of market records.
- Worked across infrastructure, product design, and deployment on Docker, Heroku, and GCP.
- Jan 2016 – Jan 2018 · 2 yrs 1 mo
Developer
Work Listium
Developed a cross-platform React/Redux application for web, iOS, and Android using a shared application architecture.
- Built a PWA with React Native wrappers for mobile platforms.
- Worked with PostgreSQL, Redis, DynamoDB, AWS, Heroku, Fastly, and Cloudflare.
- Apr 2014 – Jan 2016 · 1 yr 10 mos
Developer
Work Electronic Frontier Foundation
Developed digital campaigning infrastructure and civic participation tools.
- Built a Ruby on Rails action centre for contacting elected representatives.
- Developed campaign tools and integrations that lowered barriers to public participation.
- Jun 2013 – Jan 2016 · 2 yrs 8 mos
Developer
Work Taskforce.is
Developed civic technology and online campaigns opposing mass surveillance.
- Helped build The Day We Fight Back and related campaigns.
- Campaigns generated 37 million banner views, 100,000 phone calls to Congress, 500,000 emails, and 250,000 signatures.
- Mar 2013 – Jan 2015 · 1 yr 11 mos
CTO
Work Earbits
Joined Earbits, a Y Combinator company, as a frontend engineer and became CTO, leading product engineering, infrastructure, and a small development team.
- Built the entire frontend single-page application in Backbone.js, talking to Rails services on MongoDB.
- Managed a small team of developers and designers.
- Moved all of the infrastructure from Heroku to AWS.
- Oct 2014
Defender of the Internet
Award Fight For The Future
For my work against mass surveillance and building civic tools for digital democracy.
- Jan 2011 – Jan 2014 · 3 yrs 1 mo
Founder
Work BackboneTutorials.com
Created a widely read educational resource for JavaScript and Backbone.js.
- Reached over two million unique visitors annually.
- Generated 25,000+ ebook downloads and 300,000+ YouTube views.
- Jan 2011 – Jun 2012 · 1 yr 6 mos
Front-end Developer
Work Ephox
Ephox (now Tiny) builds TinyMCE, the open-source rich-text editor, and enterprise editing software. I built front-end widgets and applications (a major product on Backbone.js), worked on UI/UX design and wireframes, and designed API specifications and documentation.
- Feb 2008 – Dec 2009 · 1 yr 11 mos
Bachelors
Education The University of Queensland
Prove2
Project
An experimental mathematical reasoning platform connecting ideas, Lean 4 formal proofs, theorem libraries, and AI agents.
- Exploring machine-checked mathematical reasoning and proof-assisted AI research.
- Developing agent-friendly interfaces for theorem exploration, proof construction, and verification.
Drone Hire
Project
An international directory of civilian drone and UAV operators for hire: aerial photography and video, mapping, surveying, precision agriculture, inspections and infrared imaging. Built with Backbone.js, Node.js and Postgres.
- Over 200,000 visitors to the site and blog in 2014.
Backbone Tutorials
Publication Self-published
Beginner-to-expert tutorials for Backbone.js, free online and as an ebook: 25,000+ downloads, 300,000+ YouTube views and over two million readers a year.