2026-06-09

Shriram Krishnamurthi memo on rebooting a programming languages course for the agentic coding era

good lens for what remains uniquely valuable in PL when codegen is abundant, language design as a way to narrow agent freedom and enforce stronger correctness/security properties.

Original source

Reading Log X Post Historical Backfill Agents Security LLM Research

What it is: Shriram Krishnamurthi memo on rebooting a programming languages course for the agentic coding era.

Gist: argues PL should be reframed around constraining AI-generated implementations and providing guarantees; distinguishes PL from SE/FM, then proposes teaching along two axes: language confinement and custom program properties.

Newsletter angle: “AI makes PL more about guarantees than syntax” + course design as a forecast of curriculum shifts.

Note: extracted tweet via FXTwitter, then fetched linked public Google Doc; captured substantive sections including motivation and course structure.