Projects
Research, open source, and what the lab is building.
2026Keller mapspapersAn explicit family of counterexamples to the Jacobian conjecture in every dimension n ≥ 3, worked out with GPT-5.6 Sol. Two preprints.2026Signal Feedopen sourceA Chrome extension that folds spam, ragebait and low-effort posts out of my X and YouTube feeds, and tells me why each one went.2026launch-video-skillopen sourceAn open-source agent skill that gets Claude Code or Codex to make a product launch video with Remotion.2026TavlArenaliveA free, ad-free site for Turkish tavla and backgammon, with bots, an engine review of every game and dice anyone can check. Built with AI agents in a week.
2026AI labin progressLearning post-training by building, from micrograd to GRPO.
2027Hard or noisy?planned
2027Voice agentplanned
2027Check or trust?planned
2026MamaHushstoppedA private AI companion for pregnancy and the first months after birth. Stopped in October 2026.