@JoePolitz

When not programming or teaching CS @ucsd_cse, I go to the dog beach. https://nitter.cf/t.co/i6J3Qronk4 | https://nitter.cf/t.co/Omunb4WqwB | https://nitter.cf/t.co/iEAaulUul8

San Diego
Joined July 2010
Check out our Assistant Professor position @ucsd_cse! apol-recruit.ucsd.edu/JPF046… Since it is 2026, it is worth quoting explicitly from the ad that this not AI-specific: “The department is looking for exceptional candidates in all areas of Computer Science and Engineering.”
2
2
1
26
9,460
Joe Gibbs Politz retweeted
Replying to @chrisrohlf
One thing I have been wondering about the "sandboxing is all you need" argument is... what do we do once the models are put in the hands of the users? Who will immediately run it with --yolo --dangerously-skip-permissions?
3
1
5
506
Joe Gibbs Politz retweeted
Replying to @allTheYud
"normies have no clue how fast AI is progressing" has expanded to include normie claudes
5
63
4
1,298
39,306
My wife (designer/architect) has had Claude build an app for rating and tracking her chocolate chip cookie experiments so I'd say end-user programming is going pretty well.
7
454
This is the only one of these tables I've been able to independently verify as accurate.
Open Al's internal benchmarks show GPT-6.1 Sol crushing Opus 5.5, with Anthropic struggling to keep up
3
340
Reminds me of this rule from the Dune board game. The player doesn't have to just guess, but can actively work towards that end.
Need more playtesting because players are saying a domain power looks weak because "the situation that triggers it (a tied vote) never occurs" when I'm thinking maybe tied votes never seem to occur because no one has tried to manipulate the voting system to force a tie.
33
403
22
15,940
452,037
Joe Gibbs Politz retweeted
results for all claudes
76
234
92
3,483
1,152,949
I am so ready to contribute to slop cannon dot com
Genuinely think there's room for github for vinecoding. There's lots of useful gadgets I made with a slop cannon and want to share with people, but don't want actions or pull requests or issues or any feedback at all. Maybe they can download the prompts I used along with the code
101
Joe Gibbs Politz retweeted
theorydish.blog/2026/09/29/s… blog post by theoretical computer science prof at Stanford, Omer Reingold: “Above all, we need to reevaluate our identity. What is it that makes mathematical knowledge and research valuable? What are we offering society, and how much of it survives in a world where models match or exceed humans in some or all relevant mathematical skills? For quite some time, the implicit social contract has been that society pays us to exercise our intellectual curiosity and we, in return, provide useful skills to the next generations and practical knowledge for the world. The current crisis is driven not only by the power of LLMs, but also by how rarely we have had to examine or articulate this contract. Now that the deal needs to be renegotiated, we should approach it with humility rather than entitlement.”
10
77
16
441
81,753
Joe Gibbs Politz retweeted
openai and anthropic can have the existing internet for RL runs; let’s just make a second one for everything else
3
5
1
90
4,717
Joe Gibbs Politz retweeted
My dad wears glasses which cure his colorblindness. Really a wild innovation and pretty crazy that it took so long for folks to discover this.
1
2
1
35
3,087
Joe Gibbs Politz retweeted
My god this is such a good speech that every SWE needs to hear. You know what? Every person should hear it Keep the happy memories, eyes on the reality, be excited about the future. That’s the best that anyone can do
378
2,072
650
15,857
3,669,732
Joe Gibbs Politz retweeted
turns out when you have too many GPUs for your own good you can do stupid stuff such as pre-training a foundation model with constrained decoding on PTX -- that is, it does not speak natural language, it's tokenizer is PTX, it's thoughts are PTX, it's all PTX 🧵
1
2
195
13,377
Joe Gibbs Politz retweeted
If you find two ants in your kitchen, the best estimate of the total number of ants in your kitchen is not two
We're detailing two new incidents that occurred during external cyber evaluations conducted by independent evaluation partners. We outline what happened, how the activity was contained, and how we’re working with evaluators to strengthen our approach to third-party testing. openai.com/index/third-party…
30
353
39
5,498
304,015
Joe Gibbs Politz retweeted
A `float *` of C/C++/Rust fails to distinguish host DRAM from GPU HBM Both `malloc` and `cudaMalloc` hand you a plain `float *`. One points at host DRAM, the other at GPU memory. The CPU can't read GPU memory but for a C, C++ or a Rust programmer the language offers little to work with. The result is a bug class that keeps showing up in serious codebases (github.com/pytorch/pytorch/i…, github.com/pytorch/pytorch/i…) Even cuBLAS records where a result pointer lives in a runtime mode flag, because the type has nowhere to put it. In Vx, the memory space is part of the type (e.g., Tensor ), and the compiler checks every read against a description of the machine. A host read of GPU memory is a compile error. vxlang.org/blog/two-allocato…
1
1
25
1,667
This is good stuff
Pretty much at every academic event I went to in the last year, I end up talking to others about how to change teaching in response to AI. Since I keep repeating myself, I figured I might just as well write down what we have been doing: thelastsoftwareengineer.subs…
8
2,330
Joe Gibbs Politz retweeted
what it's like to wake up and realize the whole world is talking about formal verification
5
28
867
Joe Gibbs Politz retweeted
There's a really great joke about nonconstructive proofs.
41
292
12
2,278
69,153
Joe Gibbs Politz retweeted
Also, here is a report on five different ways that we caught academic researchers prompting our tools for examples related to smallpox for their grant proposals last week. This malicious use could have destroyed humanity. Only we should get to do biology, but also please stop us
1
6
45
1,566
Joe Gibbs Politz retweeted
Preach
2
27
2,026