iiinova — where your digital self keeps evolving

Reposted by Sam Tobin-Hochstadt

to know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.

83910

Sam Tobin-Hochstadt @samth.bsky.social · 22h

Can't do that in that situation, just not a smart play.

001

Sam Tobin-Hochstadt @samth.bsky.social · 28/09/2026

Places I hung out with my friends as a teen: - the local college campus - Dennys - Dunkin Donuts - inefficient coffee shops - inefficient college diner - bookstore cafe All spaces built for other purposes staffed by service workers that were probably too big and expensive to run profitably.

130

Sam Tobin-Hochstadt @samth.bsky.social · 28/09/2026

I'm 5 or 6 inches taller than my dad, but he was a college wrestler and could do muscle-ups in high school.

110

Sam Tobin-Hochstadt @samth.bsky.social · 16/09/2026

Anthropomorphization is in fact an extremely useful tool for understanding and working with AI systems.

281

Reposted by Sam Tobin-Hochstadt

Type Theory Forall @ttforall.bsky.social · 05/09/2026

We also dive into Racket, programming language design, and Shriram’s decades of experience thinking about how we teach people to reason about programs. A fascinating conversation! ▶️ twp.ai/4hvacX 3/3

twp.ai

youtu.be

0205

Sam Tobin-Hochstadt @samth.bsky.social · 15/08/2026

Defining "rich" as less than 1% of the population is potentially reasonable, but it's also extremely convenient for many people adopting that definition.

120

Sam Tobin-Hochstadt @samth.bsky.social · 04/08/2026

It's interesting how now this reads as a story about AI, instead of the intended subject.

131

Reposted by Sam Tobin-Hochstadt

Angry Staff Officer @pptsapper.bsky.social · 02/07/2026

Happy “liberal arts professor helps save the Union” day to all who celebrate

Charge of the 20th Maine at Little Round Top

10156361502

Sam Tobin-Hochstadt @samth.bsky.social · 02/07/2026

moot is genuinely one of the people most responsible for our current predicament.

090

Reposted by Sam Tobin-Hochstadt

BeijingPalmer @beijingpalmer.bsky.social · 18/06/2026

One of the hardest things to accept is “my ideas are correct but unpopular” and it’s particularly tricky for leftists who romanticize “the people”

852197280

Reposted by Sam Tobin-Hochstadt

ICFP Programming Contest 2026 @icfpcontest.bsky.social · 10/06/2026

The ICFP 2026 Programming Contest will run from July 24th to July 27th. We'll get icfpcontest2026.com updated with more information on the contest in the coming weeks :)

icfpcontest2026.com

ICFP Programming Contest 2026

The 29th ICFP Programming Contest runs July 24–27, 2026. An online programming competition for teams of any size, anywhere.

0159

Sam Tobin-Hochstadt @samth.bsky.social · 10/06/2026

I think the SpaceX valuation seems ridiculous, but the reason I invest in index funds is precisely not to make decisions about what individual stocks are a good investment, instead investing in all the big companies. Also, I'm not at all confident that the stock price is going to go down.

050

Sam Tobin-Hochstadt @samth.bsky.social · 08/06/2026

No useful information has ever been conveyed in this tiktok pointing at the text format.

130

Reposted by Sam Tobin-Hochstadt

Andy Masley @andymasley.bsky.social · 03/06/2026

Getting the first covid vax felt like the waters parting. Can't imagine feeling any other way about it. Wild that so many people now feel otherwise

30102470

Reposted by Sam Tobin-Hochstadt

Shriram Krishnamurthi @shriram.bsky.social · 02/06/2026

New research thread: 1/ Error messages have always been designed, sometimes painstakingly, for humans. But now we have new "readers" for errors: agentic AI. Should this affect what PLs generate? Can we measure this experimentally? We have some preliminary results: ↵

2306

Reposted by Sam Tobin-Hochstadt

Taylor Smith @taylorjsmith.bsky.social · 30/05/2026

1961: CACM publishes Tony Hoare's quicksort algorithm. 2026: CACM publishes a self-promo article by some random guy who's pitting different LLMs against each other to pump unmitigated slop into a GitHub repo. Is this what my membership money's going toward, @acm.org?

cacm.acm.org

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened – Communications of the ACM

6224

Sam Tobin-Hochstadt @samth.bsky.social · 01/06/2026

The most important question in computer security is whether memory safety is the main problem and things will get better when C is in the ground, or if similar-scale problems will keep appearing.

2110

Sam Tobin-Hochstadt @samth.bsky.social · 26/05/2026

Reading this Wikipedia page, it's hard to escape the feeling that no one at all in the entire country really believes in anything the way Soule, or any of the abolitionists, did.

0196

Sam Tobin-Hochstadt @samth.bsky.social · 08/05/2026

No actually I personally waited for hours in line to see TPM on opening day with all my huge Star Wars nerd friends and we didn't like it.

060

Sam Tobin-Hochstadt @samth.bsky.social · 04/05/2026

The Ivy+ schools enroll very close to the same share of American 18 year olds they did 40 years ago. The actual drivers here are (a) broader applications (b) better matching (c) hard-to-get-into majors (d) insufficient university growth in California.

110

Sam Tobin-Hochstadt @samth.bsky.social · 30/04/2026

The problem with this analysis is that the American constitutional order really does rely on a lack of polarization to function, and especially to function in a way that makes meaningful changes that those of us on the left want This is a bad thing but that and $4 will get you a cup of coffee.

110

Sam Tobin-Hochstadt @samth.bsky.social · 30/04/2026

This image appeared to me today, unbidden

ChatGPT watching Gremlins, generated by ChatGPT

050

Sam Tobin-Hochstadt @samth.bsky.social · 27/04/2026

My first job was delivering the Lewiston Sun-Journal in ~1994, at which I definitely made below minimum wage considering how inefficient I was.

100

Reposted by Sam Tobin-Hochstadt

Gabriel Bosslet @gbosslet.bsky.social · 26/04/2026

How crazy is it that you finish 1:59:41 and come in SECOND PLACE #LondonMarathon

2494

Sam Tobin-Hochstadt @samth.bsky.social · 17/04/2026

Obviously the decline in trust in elite institutions has multiple causes, but one of them is just that our institutions have broadly become less trustworthy, and fixing this will require them to change. @chrislhayes.bsky.social wrote a whole book about this.

010

Reposted by Sam Tobin-Hochstadt

Shriram Krishnamurthi @shriram.bsky.social · 12/04/2026

I have a particular fondness for Hungary because I spent a formative time studying there. It was just after The Wall came down. I had so many encounters that conveyed a sense of hope for a bright future. I imagine the squares of Budapest feel like that again right now.

3763

Reposted by Sam Tobin-Hochstadt

QT 🔞 @forbiddenqt.bsky.social · 02/04/2026

This one still fuckin kills me

Tweet from Sean Leahy @thepunningman

"The bond's Name. James Name"
Pleased to... what?
"Bond Name's the james"
Are you alright?
"Bames Nond's having a strong, call a Bondulance"

293381452

Sam Tobin-Hochstadt @samth.bsky.social · 31/03/2026

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.

050

Sam Tobin-Hochstadt @samth.bsky.social · 31/03/2026

Not my profession, but "affordable housing means housing that people can afford".

1141

Sam Tobin-Hochstadt @samth.bsky.social · 28/03/2026

It was so distressing having to root for a team wearing Duke on their chest.

150

Sam Tobin-Hochstadt @samth.bsky.social · 19/03/2026

Requiring elementary school students to actually memorize their multiplication tables: good Comparing math standards based on word count: wtf?

060

Reposted by Sam Tobin-Hochstadt

Tom Van Cutsem @tvcutsem.bsky.social · 19/03/2026

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

011

Reposted by Sam Tobin-Hochstadt

Shriram Krishnamurthi @shriram.bsky.social · 18/03/2026

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

proofsandintuitions.net

Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory

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. This post tells ...

1143

Sam Tobin-Hochstadt @samth.bsky.social · 17/03/2026

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.

210

Sam Tobin-Hochstadt @samth.bsky.social · 17/03/2026

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

151

Sam Tobin-Hochstadt @samth.bsky.social · 14/03/2026

This is the first thing that's made me want a game system since Tecmo Super Bowl.

140

Sam Tobin-Hochstadt @samth.bsky.social · 13/03/2026

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.

2262

Sam Tobin-Hochstadt @samth.bsky.social · 13/03/2026

This thread is basically how I feel.

1221

Sam Tobin-Hochstadt @samth.bsky.social · 12/03/2026

I built a new thing: samth.github.io/rackup/ It's an installer and toolchain manager for @racket-lang.org. It works on Mac and Linux, it lets you install any release including from 1996, and it features all the latest bells and whistles. Also it was built almost 100% using AI.

samth.github.io

rackup

rackup is a toolchain manager for Racket.

0313

Sam Tobin-Hochstadt @samth.bsky.social · 05/03/2026

Dad's side: started a freight forwarding company (which I think was just him). Mom's side: HS football coach, printed products salesman/manager/executive.

000

Sam Tobin-Hochstadt @samth.bsky.social · 04/03/2026

Because I can't let this go, here's the Big 10 WBB All-Conference teams plotted by @herhoopstats.com Win Shares and @barttorvik.bsky.social PRPG, along with some notable other players. cc @hooplawyatt.bsky.social

152

Sam Tobin-Hochstadt @samth.bsky.social · 02/03/2026

This is a great representation of the biggest impact of Claude Code from my perspective. So many things that you wouldn't think to do before because they were only worth 10 minutes of thought can now be realized with a couple of prompts.

3120

Reposted by Sam Tobin-Hochstadt

Mr. Nick Beaudrot @nbeaudrot.bsky.social · 28/02/2026

Yep. Bleak.

011

Reposted by Sam Tobin-Hochstadt

Jen Rodriguez @jenrodriguezga.bsky.social · 24/02/2026

“The flag that flies when an American athlete wins a gold medal isn’t Donald Trump’s flag. It’s ours. The anthem that plays isn’t Donald Trump’s song. It’s ours. If we refuse to celebrate what’s great about our country because of the people trying to ruin it, they’ve already succeeded.” Amen.

538775