Thomas Davis
Full Stack Developer & AI Engineer
Summary
Software engineer with 20+ years building products, infrastructure, and open source software. Founder of JSON Resume and co-founder of cdnjs. Currently working across AI agents, programming languages, compilers, GPU computing, model training, and formal verification. I enjoy building complex systems from first principles.
Skills
AI, Agents & Machine Learning
AdvancedCompilers, GPU & Formal Methods
AdvancedFrontend
AdvancedBackend
AdvancedCloud & DevOps
AdvancedArchitecture & Engineering
AdvancedWork
-
Independent (contract & advisory)Principal Engineer — AI (contract)2021-05-05 - 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.
-
TokenizedSenior Javascript Developer2020-05-05 - 2021-05-05
- - 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.
-
BlockbidSenior Javascript Developer2018-03-01 - 2020-01-01
- - 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.
-
ListiumDeveloper2016-01-01 - 2018-01-01
- - Built a PWA with React Native wrappers for mobile platforms.
- - Worked with PostgreSQL, Redis, DynamoDB, AWS, Heroku, Fastly, and Cloudflare.
-
Electronic Frontier FoundationDeveloper2014-04-01 - 2016-01-01
- - Built a Ruby on Rails action centre for contacting elected representatives.
- - Developed campaign tools and integrations that lowered barriers to public participation.
-
EarbitsCTO2013-03-08 - 2015-01-09
- - Built a Backbone.js single-page application backed by Rails and MongoDB.
- - Managed developers and designers and migrated infrastructure from Heroku to AWS.
-
Taskforce.isDeveloper2013-06-01 - 2016-01-01
- - 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.
-
BackboneTutorials.comFounder2011-01-01 - 2014-01-01
- - Reached over two million unique visitors annually.
- - Generated 25,000+ ebook downloads and 300,000+ YouTube views.
-
EphoxFront-end Developer2011-01-01 - 2012-06-01
Education
-
The University of QueenslandBachelors in Software Engineering (incomplete)2008-02-12 - 2009-12-12
Projects
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.
Founded the open standard for representing resumes as JSON. Now an ecosystem of schemas, themes, developer tools, AI job matching, and agent integrations.
Co-founded one of the web's largest open-source JavaScript and CSS content delivery networks, now operated with Cloudflare.
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.
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.
Developing a general-purpose agent execution harness for persistent sessions across web, CLI, and local development environments.
An experimental mathematical reasoning platform connecting ideas, Lean 4 formal proofs, theorem libraries, and AI agents.
Tool Package Manager for AI Agents. Discovers, validates, and exposes npm packages as tools through MCP, SDKs, and command-line interfaces.
A semantic validation system for AI-generated code, using domain specifications to detect inconsistencies and implementation drift.
An adversarial research-paper replication engine that extracts scientific claims, constructs evidence graphs, runs independent checks, and records reproducibility verdicts.
An AI-powered Discord agent with 80+ tools, multi-database memory, code execution, and autonomous improvement workflows.
CLI for using language models to optimize functions, validate functional equivalence, and benchmark implementations across languages and providers.