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/document/d/e...
As GenAI systems do more and more, even generate proofs, the focus shifts to getting high-quality specifications. What can a *responsible* programmer do? Any solution should generate work that is *meaningful* and *moderate*. We've been working on that!
blog.brownplt.org/2026/06/09/p...
Had a PhD student visiting today, the brilliant Sam Frohlich. Walked her around campus and took her to the wonderful John Carter Brown Library to see the 1776 exhibit, labeled "Foundations of Revolution". Then realized she's from the UK…so quietly led her right back out. (-: CC @kawulf.bsky.social
FIFA is corrupt AF and what not, but the one beautiful thing a WC in the US could have been is a celebration of how every country playing has a non-trivial population here, prolly some small town named for a city there, etc. But no, our neue Gestapo have ruined even that.
This ad pitch from Verizon (checked all the links in the email, they're legit) would be totally routine except: it was sent to an email address my kid created JUST for college apps. So someone in the college app chain sold the email…which has tracking. CC @jonboeckenstedt.bsky.social
Incredibly annoyed that I'm going to be away at PLDI on the day the Tartan Army is holding a Scottish fan festival in Providence — and serving IRN-BRU. (I drink one every trip to Scotland, which is enough to fortify me until the next trip. <-;)
www.facebook.com/permalink.ph...