I build production AI agents and the evals that check them, and I'm learning to train agents with RL. I'm an AI Tech Lead at Coefficient; before that I built backend and distributed systems at Coinbase and Flipkart.

I also found an explicit family of counterexamples to the Jacobian conjecture in every dimension n ≥ 3, later discussed on Terence Tao's blog. Say hi on X or by email.

Now: Learning the foundations through December: gradient descent and the maths behind it, attention and a tiny GPT from scratch, then a first fine-tuning run and reward models.

Projects

All projects
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.

Writing

All writing

The first article and the weekly lab logs start soon. Subscribe to get them.