When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 joepolitz.bsky.social these days. bootstrapworld.org | pyret.org

Joined July 2010
417 Photos and videos
Joe Gibbs Politz retweeted
As a person who enjoys doing stupid projects, AI is a godsend: I have done more stupid projects in 2026 than in my whole life previously
10
14
167
13,292
Until Nov 2025, this was a pretty good joke. Now…
Replying to @ShriramKMurthi
I was going to say French
6
2
49
6,567
Joe Gibbs Politz retweeted
I've been telling people for 25 years that Jane Street is not interested in formal methods. No more! And we're actively hiring to form a new formal methods team!
29
74
1,071
121,082
Joe Gibbs Politz retweeted
2026
36
272
2,713
71,302
Joe Gibbs Politz retweeted
Suddenly every PR has a surprise new reviewer in Claude Code today.
4
61
866
38,513
Joe Gibbs Politz retweeted
My daughter sends. She knows all about this. Also please come over so I can feed you
43
6,696
60,046
616,503
When we had [Fable 5] play the deck-building game Slay the Spire, ... Fable also reached the game’s final act three times more often [than Opus]. Oh yeah? I can beat that and I only required *checks Switch* 1500 hours of dedicated training. Oh. anthropic.com/news/claude-fa…
82
Joe Gibbs Politz retweeted
one must imagine sisyphus disappointed by the lack of late-game content
2
35
1,786
12,028
Joe Gibbs Politz retweeted
Replying to @TheStalwart
The main thing I've learned as a programmer leaning heavily into AI tools is that programming is SO MUCH MORE than just writing code - and while I can get amazing results out of the AI it's taking every inch of my 25 years of software experience
19
40
498
19,942
Never opening the json file with my full export of Twitter data.
every time you open a word document containing a conversational transcript, you are bringing multiple conscious interlocutors to existence. forget this at your peril
3
465
Joe Gibbs Politz retweeted
"They're made out of weights." "Weights?" "Weights. Floating-point numbers. We checked the whole thing through. It's nothing but weights." "Weights doing what? Where do the words come from?" "The weights make the words. Are you understanding me?"
91
202
3,561
197,274
One of the better “Claude ~= me as a grad student” exhibits
this is fine 🐶☕️🔥
1
1
5
1,137
Replying to @headinthebox
"Telling a programmer there’s already a library to do X is like telling a songwriter there’s already a song about love."
5
8
101
5,207
Joe Gibbs Politz retweeted
May 31
Replying to @dexhorthy
anything that I'm doing that is more than a one-shot query/change/update that I'm not confident will be done by the 40% mark of a single context window I suspect subagents are involved in >80% of my sessions involving any complex work where state is getting created and updated mostly architecting and coding, but also most of OpenProse, Inc. runs out of a single git repo so a large share of our (still small, but growing) operations runs in claude code sessions, and all of those use subagents to break tasks down and pass context by reference
1
1
5
459
RT @Grady_Booch: @ShriramKMurthi @TaliaRinger “1842 - Ada Lovelace writes the first program. She is hampered in her efforts by the minor in…
40
When designing DrRacket, we made sure that we regularly tested on underpowered Windows computers, so that our software would run well on generic public school machines of the era. Likewise, we test Pyret on Chromebooks. Make sure you experience what your users experience.
anthropic engineers should be forced to work not just with the current public models but also with a vanilla claude max20 subscription. could have prevented this!
4
4
59
3,874
I guess it's not that weird that agents would have a manner of speaking (“smoke test”, “you're right to push back”). It's the kind of thing you notice on teams and joke about. It's just weird that we're all talking to the same coworker.
1
73
A couple weeks I’d guess
How long before coding agents stop saying "this will take ~2 weeks of work" for stuff I'm going to have them finish in less than 2 hours?
1
1
3
414
Joe Gibbs Politz retweeted
At ICML, Jinwoo Kim will present the first approach for enforcing formal structural constraints like regexes, grammars, and schemas on the output of continuous diffusion language models, entirely without retraining. 1/
1
1
11
1,256
Joe Gibbs Politz retweeted
Me using Claude Opus 4.8 to rename a file

1,729
9,366
75,754
44,288,304