Principal Engineer — AI (contract) at , Melbourne

May 2021 – Present

• Built production AI copilots with tool calling over customer data, response evaluation, and streaming interfaces.
• Developed autonomous agent workflows for generating reports, presentations, and PDFs from live business data.
• Shipped high-scale analytics and real-time collaboration systems, including server-side compute, caching, and concurrent-edit integrity testing.

Senior Javascript Developer at , Melbourne

May 2020 – May 2021

• 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.

Senior Javascript Developer at , Melbourne

March 2018 – January 2020

• 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.

Developer at ,

January 2016 – January 2018

• Built a PWA with React Native wrappers for mobile platforms.
• Worked with PostgreSQL, Redis, DynamoDB, AWS, Heroku, Fastly, and Cloudflare.

Developer at ,

April 2014 – January 2016

• Built a Ruby on Rails action centre for contacting elected representatives.
• Developed campaign tools and integrations that lowered barriers to public participation.

CTO at ,

March 2013 – January 2015

• Built a Backbone.js single-page application backed by Rails and MongoDB.
• Managed developers and designers and migrated infrastructure from Heroku to AWS.

Developer at ,

June 2013 – January 2016

• 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.

Founder at ,

January 2011 – January 2014

• Reached over two million unique visitors annually.
• Generated 25,000+ ebook downloads and 300,000+ YouTube views.

Front-end Developer at ,

January 2011 – June 2012

Alpha

September 2025 – Present

• 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.

JSON Resume

April 2014 – Present

• 7,000+ GitHub stars across the ecosystem and tens of thousands of users.
• 52 first-party themes, a public registry, in-browser editor, CLI, and MCP integrations.
• AI job matching with embeddings, hybrid retrieval, and LLM reranking; improved precision at five from 0.2 to 0.8 in evaluation.
• Maintains the schema, CLI, core libraries, jobs package, and Rust serialization tooling.

cdnjs

January 2011 – Present

• Used by millions of websites and serves billions of requests monthly.
• 10,000+ GitHub stars.
• Helped establish a community-maintained infrastructure project that became a widely used part of the web.

Donto

January 2025 – Present

• 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.

llmtobinary

October 2026 – Present

• 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.

Bode

September 2026 – Present

• 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.

Prove2

– Present

• Exploring machine-checked mathematical reasoning and proof-assisted AI research.
• Developing agent-friendly interfaces for theorem exploration, proof construction, and verification.

TPMJS

June 2025 – Present

• Automatic npm tool discovery and sandboxed Deno execution.
• MCP aggregation and agent tooling infrastructure.
• Platform for building, sharing, and extending AI agents.

Blocks

November 2025 – Present

• Declarative domain specifications using entities, signals, measures, and rules.
• Schema, structure, and LLM-based domain validation with actionable feedback for coding agents.

Toiletpaper

April 2026 – Present

• Processed the Kolmogorov-Arnold Networks paper: 102 claims extracted, 24 reproduced, and 3 contradicted.
• Combines LLM extraction, simulations, mathematical checks, and provenance through Donto.

Omega

June 2025 – Present

• Code execution across 42+ programming languages.
• Agent tooling for software development, communication, and GitHub-driven self-improvement.

llm-benchmark

July 2025 – Present

• Supports JavaScript, TypeScript, Python, Rust, and Go.
• Includes automated verification, performance comparison, a terminal UI, and cost analysis.

The University of Queensland

Bachelors in Software Engineering (incomplete)

2008 - 2009