//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts





Loading...
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...