I've spent months rethinking and rebuilding my programming languages course from scratch for the agentic coding era. I wrote myself a memo explaining what I'm doing. I figure others might be interested in the redesign, so here goes! Feedback welcome of course. docs.google.com/…
Who's Who of AI
Shriram Krishnamurthi
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
What they're sharing
RFC: Programming Languages Course Reboot, 2026 docs.google.com
Type-Error Ablation and AI Coding Agents arxiv.org
Articles & links
5/ We also have some (preliminary!) evidence that "if it types it runs", LLMs can infer semantics even w/out meaningful variable names, etc. THERE. ARE. A. LOT. OF. CAVEATS! Mostly posting this to inspire better research. All details are on arXiv: arxiv.org/abs/2606.01522
Their own posts
Recent commentary
New research thread: 1/ Error messages have always been designed, sometimes painstakingly, for humans. But now we have new "readers" for errors: agentic AI. Should this affect what PLs generate? Can we measure this experimentally? We have some preliminary results: ↵
What even are we doing here. I'm not even sure what the ask is. This company wants me to pay them to run an AI that is going to feed my soundbites to…who exactly? No need, my soundbites are available for free right here. (-:
The fact that Claude Code can do all kinds of agentic things but not *checks watch* check a watch will never not be funny.
Their network
In Shriram Krishnamurthi's orbit
Center = Shriram Krishnamurthi. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.