Projects
All projects
Every project in one table: platform work, full-stack applications, formal models, and visual essays. The visual essays are how I learn a subject I want to understand: I use LLMs to build explanations and interactive visualizations aimed at what I'm trying to grasp, then work through them. I made them to learn these subjects, not to teach them as an expert.
15 projects
| Stack | Links | |||
|---|---|---|---|---|
| Homelab Developer PlatformA self-hosted internal developer platform on my own hardware: git push an app and it builds, deploys, and serves on the LAN. | Platform | proxmox · k3s · argo cd · terraform · ansible · postgres · signoz | Running | Writeup →Template → |
| ML Orchestration LabA small ML platform on one consumer GPU: Kueue quota, Volcano gangs and Slurm on Kubernetes sharing one card, models that wake on request, and telemetry across the stack. | Platform | kueue · volcano · slurm · argo workflows · vllm · opentelemetry | Running | Writeup → |
| Agent Control PlaneA control plane for coding-agent sessions: tickets, handoffs, and decisions that agents read over MCP and a CLI, a harness that gates each change before it merges, and a web app where one person approves what lands. | Platform | go · typescript · react · mcp · openapi | Running | |
| Philosophy ExplorerA full-stack explorer of notes and visualizations across thinkers and works, with an optional Lean 4 proof-checking seam. | Software | hono · drizzle · postgres · react · lean 4 | Live | Live →Source → |
| Language LearningInteractive grammar instruments for language study — drag a sentence apart, turn a register dial, swap a particle, and the grammar answers back. | Software | react · vite · web audio | Live | Live →Source → |
| Five TowersA browser strategy game built around its own ruleset and win condition. | Software | typescript · vercel | Live | Live → |
| Cooking & Pantry TrackerA full-stack pantry and cooking tracker, instrumented end to end with OpenTelemetry. | Software | vercel · opentelemetry | Live | Live → |
| Circadian EntrainmentAn interactive model of circadian entrainment: how a biological clock locks onto light and other cues. | Software | react · typescript · cloudflare | Live | Live → |
| Space of ReasonsA formal workbench for Brandom’s inferentialism — a deontic scorekeeper tracking commitments and entitlements across perspectives. | Formal modelling | ocaml · dune · menhir · qcheck | Built | Source → |
| State-Space WorkbenchA batch-first workbench for treating heterogeneous formalisms — TLA+, Lean, z3, egglog, Maude — as transition systems behind one kernel-owned contract, each tool wrapped as a JSON-RPC adapter. | Formal modelling | python · json-rpc · emacs lisp | In progress | |
| Animal CommunicationAn interactive visual essay on how whales, and animals more broadly, communicate. | Visual essay | html / css / js · cloudflare workers | Live | Live →Source → |
| GLP-1 Brain AtlasAn interactive mechanism atlas over the GLP-1 drug literature, with every claim carrying its provenance, scope, and confidence. | Visual essay | react · typescript · react flow · molstar · cloudflare | Live | Live →Source → |
| Math ExplorerAn interactive explorer for mathematical ideas you can manipulate directly. | Visual essay | cloudflare | Live | Live → |
| Physics ExplorerAn interactive explorer for physical systems, learned by direct manipulation. | Visual essay | cloudflare | Live | Live → |
| Computational Neuroscience ExplorerAn interactive explorer of computational-neuroscience models — neurons and networks you can probe. | Visual essay | cloudflare | Live | Live → |