Resources · newest first
Slides from the rooms.
The decks we have used in rooms, kept here so anyone can open them again. Read them, borrow from them, present them to your own room.
Oct 2026 · Talk
Prove It
Formal verification, Lean, and how AI is learning to check its own work. An exploding rocket, a vibe-coded wallet that prints money, and a very strict checker. Press N for notes, P for the presenter view.
Oct 2026 · Builder's Café · Mumbai, with NEAR Legion India
NEAR Builder's Cafe
NEAR in one slide, then the chain, Intents, private AI and the Legion, how to find us, and the tracks for the NEAR hackathon.
2026 · Talk · Mumbai, with NEAR Legion
The Agentic Future
When AI gets a wallet: how AI learns, what makes an agent, and what changes once software can hold money and act on its own.