Sam Tobin-Hochstadt
@samth.bsky.social
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
In what sense are those assumptions hidden? Are they axioms?
January 15, 2026 at 2:08 AM
In what sense are those assumptions hidden? Are they axioms?
If (a) you are confident that you stated the thm/defns correctly and
(b) you checked that the proof doesn't use sorry/axioms/other things that make assumptions
Then you can treat the proof as a black box.
(b) you checked that the proof doesn't use sorry/axioms/other things that make assumptions
Then you can treat the proof as a black box.
January 14, 2026 at 4:06 PM
If (a) you are confident that you stated the thm/defns correctly and
(b) you checked that the proof doesn't use sorry/axioms/other things that make assumptions
Then you can treat the proof as a black box.
(b) you checked that the proof doesn't use sorry/axioms/other things that make assumptions
Then you can treat the proof as a black box.
My kid (8) now loves reading my old Calvin and Hobbes books, although some of the jokes require translation from 35 years ago.
January 13, 2026 at 5:03 PM
My kid (8) now loves reading my old Calvin and Hobbes books, although some of the jokes require translation from 35 years ago.
It's fundamentally boring to argue with the right, especially the current right -- their claims are ridiculous, their arguments are specious, their motives are transparently bad. The only reason anyone cares about them is that a large share of the population votes for them and shares their values.
January 12, 2026 at 4:29 PM
It's fundamentally boring to argue with the right, especially the current right -- their claims are ridiculous, their arguments are specious, their motives are transparently bad. The only reason anyone cares about them is that a large share of the population votes for them and shares their values.
Yeah I mean none of them actually moved to the left of eg Biden except on the question of prosecution of Republicans.
January 11, 2026 at 1:43 AM
Yeah I mean none of them actually moved to the left of eg Biden except on the question of prosecution of Republicans.
George Conway, Jennifer Rubin
January 11, 2026 at 1:18 AM
George Conway, Jennifer Rubin
"you can watch the video. It was state repression. It was an act against civil disobedience, or resistance, to what ICE is doing."
That's Ezra yesterday. He also called it a public execution.
That's Ezra yesterday. He also called it a public execution.
January 10, 2026 at 10:46 PM
"you can watch the video. It was state repression. It was an act against civil disobedience, or resistance, to what ICE is doing."
That's Ezra yesterday. He also called it a public execution.
That's Ezra yesterday. He also called it a public execution.
I think the conclusions to draw are
1. If you stopped attending or submitting you didn't then take the final and you got a low AI score.
2. The very best students didn't use AI to do their homework.
2 is something I expected but it's pretty weak.
1. If you stopped attending or submitting you didn't then take the final and you got a low AI score.
2. The very best students didn't use AI to do their homework.
2 is something I expected but it's pretty weak.
January 8, 2026 at 10:12 PM
I think the conclusions to draw are
1. If you stopped attending or submitting you didn't then take the final and you got a low AI score.
2. The very best students didn't use AI to do their homework.
2 is something I expected but it's pretty weak.
1. If you stopped attending or submitting you didn't then take the final and you got a low AI score.
2. The very best students didn't use AI to do their homework.
2 is something I expected but it's pretty weak.
Just called my (Republican but relatively sensible) rep to tell him to support it.
January 8, 2026 at 9:40 PM
Just called my (Republican but relatively sensible) rep to tell him to support it.
You don't, sadly. I think there are more false negatives than positives though.
(The heuristic is "quantity of submissions rejected for using banned features" combined with use of funny Unicode characters. So it doesn't catch the ChatGPT commenting style, for example.)
(The heuristic is "quantity of submissions rejected for using banned features" combined with use of funny Unicode characters. So it doesn't catch the ChatGPT commenting style, for example.)
January 8, 2026 at 9:35 PM
Holy shit this would be amazing
January 8, 2026 at 9:23 PM
Holy shit this would be amazing
I think the scatter plot I posted shows that the answer is (mostly) no.
January 8, 2026 at 9:16 PM
I think the scatter plot I posted shows that the answer is (mostly) no.
January 8, 2026 at 8:31 PM
Unfortunately it's not that useful, the final exam is different every year, and the students are too. My sense is that people did a little worse on the final this year than last year in some objective sense but that's not that specific.
January 8, 2026 at 5:21 PM
Unfortunately it's not that useful, the final exam is different every year, and the students are too. My sense is that people did a little worse on the final this year than last year in some objective sense but that's not that specific.
Definitely a "what would degenerates on the internet think the probability of this is" sort of quiz
January 8, 2026 at 3:56 AM
Definitely a "what would degenerates on the internet think the probability of this is" sort of quiz
Predictle
A daily game where you arrange prediction markets by probability.
manifold.markets
January 8, 2026 at 3:54 AM
The drop in crime is bigger than that though, and the pre covid trend was up not down since ~2014 (largely because cops stopped working when criticized). So I think there's definitely something surprising here.
January 8, 2026 at 2:40 AM
The drop in crime is bigger than that though, and the pre covid trend was up not down since ~2014 (largely because cops stopped working when criticized). So I think there's definitely something surprising here.
Just to be clear, the only thing I did with this score is make this scatter plot. I intended it to have a strong negative correlation and then to use it to scare students in the future but now I don't know what to think.
January 8, 2026 at 2:21 AM
Just to be clear, the only thing I did with this score is make this scatter plot. I intended it to have a strong negative correlation and then to use it to scare students in the future but now I don't know what to think.
NB: the zeros on the final didn't take it and usually should have dropped the class long ago.
January 8, 2026 at 12:59 AM
NB: the zeros on the final didn't take it and usually should have dropped the class long ago.
You don't, sadly. I think there are more false negatives than positives though.
(The heuristic is "quantity of submissions rejected for using banned features" combined with use of funny Unicode characters. So it doesn't catch the ChatGPT commenting style, for example.)
(The heuristic is "quantity of submissions rejected for using banned features" combined with use of funny Unicode characters. So it doesn't catch the ChatGPT commenting style, for example.)
January 8, 2026 at 12:58 AM
You don't, sadly. I think there are more false negatives than positives though.
(The heuristic is "quantity of submissions rejected for using banned features" combined with use of funny Unicode characters. So it doesn't catch the ChatGPT commenting style, for example.)
(The heuristic is "quantity of submissions rejected for using banned features" combined with use of funny Unicode characters. So it doesn't catch the ChatGPT commenting style, for example.)
No AI score is my assessment of how much the student used AI to write their code.
January 8, 2026 at 12:54 AM
No AI score is my assessment of how much the student used AI to write their code.