Projects

Solo journey to become an agent-driven engineer through interactive lessons across any domain.

Link aggregator and community for people interested in coding agents, built with a coding agent.

Agent navigator that turns Claude Code into a theorem proving assistant for 1,179 of Erdős's math problems.

AI coding assistant built in 2017 - before LLMs. Issue labeling, duplicate detection, commit generation using seq2seq.

The largest collection of standup comedy specials on the internet.

A GPU-rendered terminal built for the way work looks when coding agents do half of it — agents get a cockpit, you keep the controls.

End-to-end self-driving neural network in Keras.

Keras implementation of FC-DenseNet for semantic segmentation.

An open-source Python framework for building coding agents. Pick your provider, pick your tools, pick your loop — then race whole agents against each other on the same task.

Research site on making computers write code. Tracking formal methods, neural approaches, and LLMs.

Offline, local-first observability and memory for AI coding agents — cost analytics, time-travel playback, and a memory layer your agents query mid-task.

Curated collection of papers on RL, RLHF, and LLM alignment.