Shriram Krishnamurthi

I regret to inform you that we *already* live in the dumbest of timelines. openai.com/supply/co-la...

openai.com

Course advertising banner for my rebooted PL course. Sorry for the janky graphics, that's not my forte. (Reboot details, for those who missed it earlier: docs.google.com/document/d/e...)

RFC: Programming Languages Course Reboot, 2026 docs.google.com

I respect Codeberg's right to take a position on this, and I understand why they might feel this way, but this is kinda' crazy. Glad I'm not using it, because I'd have to move some projects off of it. The article is also just confused in some ways. blog.codeberg.org/protecting…

Protecting our FLOSS commons from LLMs — Codeberg News blog.codeberg.org

I've had this sense in the back of my head but never bothered enough to investigate. @danluu.com took the trouble to actually compile receipts. This is the new media: the best way to establish a brand is to tell people what they want to hear, over and over. danluu.com/zitron/

How accurate have Ed Zitron's AI skeptic predictions been? danluu.com

I really like Simon Willison's "lethal trifecta"—which I'm most probably adding to both my fall semester courses—but I am amused at how AI is basically forcing people to re-discover long-established principles in security (in this case, OCaps). simonwillison.net/2025/Jun/16/...

The lethal trifecta for AI agents: private data, untrusted content, and external communication simonwillison.net

I've been using Aider for these research experiments (not regular work) and it's been fine. arxiv.org/abs/2606.01522

Type-Error Ablation and AI Coding Agents arxiv.org

A lot of people forget, or aren't old enough to know, that Google has a track record of forcing things in where they don't belong. Just think of Google+. Whole stories have been written about its needless injection everywhere, until its eventual demise. www.theatlantic.com/tec…

Google Just Ruined One of Its Most Important Tools theatlantic.com

Since subscribing to the @lrb.co.uk , for fun I've been reading all the old issues from the first on. This creates frissons when you find a review of a book that seems old and familiar but was then brand new. Here, for instance, is Lighthill on Gödel Escher Bach: www.lrb.co.uk…

James Lighthill · Strange Loops lrb.co.uk

Sure, Minerva is cool. Also controversial, as I'm sure you know. But amusingly, also: www.minerva.edu/concentratio...

Computer Science and Artificial Intelligence (Computational Sciences Major) minerva.edu

Fun post by Simson Garfinkel: "How I’ve Solved My Agentic Identity Problem All it took was new account with its own digital signature" (i.e., don't let your deputy be confused for you) databasenation.substack.com/p/how-ive-so...

How I’ve Solved My Agentic Identity Problem databasenation.substack.com

The Data Science Institute at Brown invites applications for an 18-month postdoc position in civic science and AI-human interaction. The successful candidate will be hosted by ARIA (the NSF AI Research Institute on Interaction with AI Assistants, which I'm part of). See: apply…

Apply - Interfolio apply.interfolio.com

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: ↵

For a while programming looked most under AI threat, but suddenly mathematics has taken pole position. My theory for why is 2-fold: 1. Math has had 1000s of years to get to clean formulations. 2. Math is self-contained: no "network misconfigured", etc. to gum up the works. ↵

Reading Arvind Narayanan made me think: one of the great (and most undersung) achievements of the 20th century was rural electrification. If "AI is the new electricity", what is "rural AIification"? "Rural" here is obviously a metaphor, though it has some literal elements too.

At a party tonight, my inimitable colleague @mlittman.bsky.social (initials: ML) said, "You know, Tamil sounds like the name of a programming language". This suggests the next obvious step in PL evolution. @yminsky.bsky.social and @kcsrk.info, make this happen:

0/ At the AIMCS (AI for Math and CS) workshop at FLoC 2026, @swarat.bsky.social ran a really fun panel on "How should the Formal Methods community respond to AI progress?" He put a lot of thought into very good questions, so here are my answers to them: ↵

Adding a new "how to build an agentic loop" assignment to my intro class, since it's the new metacircular interpreter for 2026.

Fall 2026 is going to be the inaugural season of "the LLM ate my homework", isn't it.

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.