Thomas Davis

Full Stack Developer & AI Engineer

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.

Experience
Principal Engineer — AI (contract)

Principal-level engineering across AI, product development, and full-stack architecture. Most recently led production AI capabilities for an HR-tech SaaS, from agentic features to the underlying services.

Senior Javascript Developer

Built the frontend of an Electron-based Bitcoin wallet for issuing, managing, and trading digital tokens.

Senior Javascript Developer

Full-stack engineering and technical leadership for an Australian cryptocurrency exchange.

Developer

Developed a cross-platform React/Redux application for web, iOS, and Android using a shared application architecture.

Developer

Developed digital campaigning infrastructure and civic participation tools.

CTO

Joined as a frontend engineer and became CTO, leading product engineering, infrastructure, and a small development team.

Developer

Developed civic technology and online campaigns opposing mass surveillance.

Founder

Created a widely read educational resource for JavaScript and Backbone.js.

Front-end Developer

Developed frontend applications and widgets for enterprise editing software, including API design, documentation, and UI/UX work.

Skills

AI, Agents & Machine Learning

LLM Training & InferenceAI AgentsAgent OrchestrationModel Context Protocol (MCP)Tool CallingOpenAI / Anthropic / GeminiVercel AI SDKRAG & Vector SearchEmbeddings & RerankingEvaluation & BenchmarkingSynthetic Training DataFine-tuningAutogradTokenizationSpeech Models (TTS / ASR)

Compilers, GPU & Formal Methods

Compiler ConstructionProgramming Language DesignDependent TypesLean 4Formal VerificationGPU ArchitectureGPU Machine Code GenerationNVIDIA SM86 / SM90VulkanSPIR-VCUDA-free GPU ComputingFP8 / FP16 / BF16Multi-GPU TrainingNVLinkELF Executablesx86-64 / AArch64CRust

Frontend

ReactNext.jsTypeScriptJavaScriptHTML / CSSTailwind CSSStyled ComponentsReduxGraphQL / ApolloElectronThree.jsBackbone.js

Backend

Node.jsGoRustPythonPHP / LaravelRuby on RailsBunDenoPostgreSQLMongoDBRedisGraphQLREST APIsWebSocketsServer-Sent Events

Cloud & DevOps

AWSGoogle Cloud PlatformCloudflare WorkersDurable ObjectsDockerKubernetesVercelRailwayHerokuGitHub ActionsCI/CDLinuxServerless

Architecture & Engineering

Distributed SystemsSystem DesignEvent SourcingDatabase ArchitectureReal-time CollaborationAPI & SDK DesignMonoreposTurborepoHigh-performance ComputingConcurrency & Data IntegrityKnowledge GraphsCLI & Developer ToolingOpen Source MaintenanceBenchmarking & Testing
Projects

Alpha

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.

JSON Resume

Founded the open standard for representing resumes as JSON. Now an ecosystem of schemas, themes, developer tools, AI job matching, and agent integrations.

cdnjs

Co-founded one of the web's largest open-source JavaScript and CSS content delivery networks, now operated with Cloudflare.

Donto

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.

llmtobinary

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.

Bode

Developing a general-purpose agent execution harness for persistent sessions across web, CLI, and local development environments.

Prove2

An experimental mathematical reasoning platform connecting ideas, Lean 4 formal proofs, theorem libraries, and AI agents.

TPMJS

Tool Package Manager for AI Agents. Discovers, validates, and exposes npm packages as tools through MCP, SDKs, and command-line interfaces.

Blocks

A semantic validation system for AI-generated code, using domain specifications to detect inconsistencies and implementation drift.

Toiletpaper

An adversarial research-paper replication engine that extracts scientific claims, constructs evidence graphs, runs independent checks, and records reproducibility verdicts.

Omega

An AI-powered Discord agent with 80+ tools, multi-database memory, code execution, and autonomous improvement workflows.

llm-benchmark

CLI for using language models to optimize functions, validate functional equivalence, and benchmark implementations across languages and providers.

Education
The University of Queensland
Bachelors of Software Engineering (incomplete)
Volunteer
Creator & Maintainer
MobTranslate

Open-source language revitalization platform for Aboriginal Australian languages, combining dictionaries, community recordings, translation, and speech technology.

Awards
Defender of the Internet
Fight For The Future

For my work against mass surveillance and building civic tools for digital democracy.

Languages
English — Native speaker
Interests

Programming Languages & Computer Science

Compiler DesignFormal MethodsGPU ComputingExperimental Computing

Open Source

Developer ToolsOpen StandardsCommunity Infrastructure

Languages & History

LinguisticsLanguage RevitalizationGenealogyHistorical Research

Gardening

Lazy Gardening

Music

GuitarSingingDancing

Books

ReadingWritingHistoryScience Fiction
References
Thomas was hired as a lead developer and, upon the leaving of our co-founder took over as CTO of Earbits. Thomas is, hands down, one of those A Players you hear of companies dying to hire. He is incredibly smart, not just at code but about everything from classical music to Chinese language and culture. Thomas is great to work with and, as a well established contributor to open source projects and several successful ventures, commands the respect of engineers at all levels. I would suggest doing anything you can to have him on your team.
— Joey Flores, Co-founder and CEO of Earbits, Inc.
I've had the great pleasure of working with Thomas for the past three years at Earbits, and on a few side projects. Two years ago our CTO left on a moment's notice, Thomas saved our company by quickly stepping up to fill this role. He has been with our company through thick and thin and made serious personal sacrifices in order to help the company during tough times. He is a phenomenal hacker and a true team player. Highly recommended!
— Yotam Rosenbaum, SVP of Operations, Earbits, Inc.
Thomas is an extremely talented engineer with a very broad range of skills and experience. From being a thought leader in the front-end community via backbonetutorials.com and cdnjs.com, to designing and implementing the API for cdnjs.com, working with Thomas has been fantastic learning experience. Thomas is truly a full stack develop, and his work output is incredible. If there is any opportunity to work with Thomas, I take it. He is the definition of an A player.
— Ryan Kirkman, Senior Software Engineer at Nerdwallet