CS + physics background. Built AI systems, taught 250+ students, contributed to hobby operating systems.
Health tracking platform — medical records, lab results, medications on one timeline. FastAPI + React, JWT auth, Docker.
Built a complete desktop OS in ArnoldC — 22,000 lines where every keyword is an Arnold Schwarzenegger quote. GUI, networking, games, 213KB binary.
Automated theorem prover — Prover/Critic multi-agent loop with Lean 4 and SHA-256 integrity locks. The agents kept redefining what they were proving, so I had to lock the theorems down.
Prediction market trading with regime detection and Kelly criterion sizing.
AI job application system with human-in-the-loop approval and honesty constraints.
AI tax assistant that actually understands Schedule C.
Spelling Bee word game — hexagonal letter grid, 370k-word dictionary, 5 hint types, 4 difficulty modes. WCAG AAA accessible. 80 tests.
Sound effects integration for Claude Code. Makes your terminal less quiet.
Design system that kills generic AI aesthetics. 8 domain profiles, 15-rule checklist.
Production-ready SaaS boilerplate. Auth, billing, dashboards.
Personal infrastructure toolkit. Agents, dashboards, automation.
This portfolio (well, one of ten versions of it).