It was so distressing having to root for a team wearing Duke on their chest.
Sam Tobin-Hochstadt
AI is a huge force multiplier, but only if you have fundamentals to steer it and review it well.
That’s exactly why CS education still matters (arguably more than ever).
#AI #VibeCoding #CSedu #SoftwareEngineering
The basic problem in American politics is that everyone thinks that undeserving others of various kinds actually consume an outsized proportion of production, and that this could be redistributed to everyone else cost-free.
A central problem everywhere is that people want a formula or shortcut around "you just have to be good", but there isn't one, for movies or politics or buildings or software or anything else.
Requiring elementary school students to actually memorize their multiplication tables: good
Comparing math standards based on word count: wtf?
People say this sort of thing, but I am never clear on whether it's meant as a normative claim (mostly reasonable) or a claim about what is happening in the world today, in which case it's very obviously false.
Not my profession, but "affordable housing means housing that people can afford".
Sam Tobin-Hochstadt
Sam Tobin-Hochstadt
It's important to think about what work the claim "Crash Bandicoot is political" is doing in a conversation, and that work is usually supporting the claim "now I get to yell at you about Crash Bandicoot".
This is the first thing that's made me want a game system since Tecmo Super Bowl.
Sam Tobin-Hochstadt
Sam Tobin-Hochstadt
Sam Tobin-Hochstadt
Sam Tobin-Hochstadt
Tom Van Cutsem
Sam Tobin-Hochstadt
@ilyasergey.bsky.social: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant." How it went, and what it augurs for PL research.
proofsandintuitions.net/2026/03/18/m...
