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...
Hey @kensycoop.bsky.social . Took my kid to the zoo today and as we always do, we talked about how each animal must seem strange to the other. Kid asked me a Q I have no idea about but I said "I bet I know who does" (you!): What do we know about the *intuitive physics* models of other animals? ↵
Natural question then is also what misconceptions they have. To put it in the starkest terms: what would Hestenes et al's Force Concept Inventory look like for each species? I have no idea how to answer such a question, but some day surely we will find out, and what a world that would be!
If you've already done an episode on this in Many Minds, let me know! (As you may have noticed by now, I'm slowly working my way through it chronologically.) If not, maybe a topic for a future episode? Most interesting is how you would even measure such a thing. ↵
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...
Shriram Krishnamurthi
Burning of the Gaspee 1772 > Boston Tea Party 1773 www.oceanstatemedia.org/history/did-...
