Stephen Checkoway's Avatar

Stephen Checkoway

@stevecheckoway

Associate Professor of Computer Science at Oberlin College. No kings, no nazis, no war.

443
Followers
432
Following
714
Posts
28.04.2023
Joined
Posts Following

Latest posts by Stephen Checkoway @stevecheckoway

Yeah, We're Going to Have to Tax the Middle Class
Yeah, We're Going to Have to Tax the Middle Class YouTube video by Takesβ„’ by Jamelle Bouie

Why is @jamellebouie.net so good at this? He's a frustratingly competent political analyst. Just extraordinary.
www.youtube.com/watch?v=MXZv...

12.03.2026 03:41 πŸ‘ 86 πŸ” 19 πŸ’¬ 5 πŸ“Œ 4

So my read is that section applies to organizations defined in (A)(8)(a) and (b) excluding those in (D)(2). So even absent the exclusions, the law doesn’t seem like it’s targeted at social media at all.

11.03.2026 21:09 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

And even if it were, (D)(2) explicitly exempts β€œa provider of an interactive computer service.”

So again, this is a choice that Bluesky has made. It’s not something they’re required to do.

As that GitHub thread mentions, no other websites are making that choice.

11.03.2026 12:38 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Is your contention that one of bluesky’s principal business purposes is presenting material that’s obscene? (Sec 1349.10(A)(8)(b))

Because that doesn’t seem correct to me.

11.03.2026 12:26 πŸ‘ 0 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

English speakers who play chess love to import words/terms from other languages. E.g., luft, intermezzo, zwischenzug, zugzwang, and en prise.

I’d like to suggest we adopt kachi-koshi/make-koshi. Example usage:
A: How’d you do in the tournament?
B: Not great, I got a make-koshi.

11.03.2026 03:55 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

These Senate Democrats are selling out every citizen of the US that has resisted the Trump regime.

They will vote for Trump nominees. But how many will show up at NoKings protests, how many went to Minneapolis to lead the people?

Everyone on this list must be primaried.

10.03.2026 21:46 πŸ‘ 161 πŸ” 62 πŸ’¬ 12 πŸ“Œ 5
President Donald Trump waving outside while wearing a red MAGA hat

President Donald Trump waving outside while wearing a red MAGA hat

Environmental Hero Makes Fossil Fuels Too Expensive for Anyone to Keep Using: tinyurl.com/yc6m5fzk

10.03.2026 20:13 πŸ‘ 176 πŸ” 40 πŸ’¬ 7 πŸ“Œ 5

For a birthday paradox collision, you’re looking at 2^64 hashes. Hashclash is a much faster approach. Although I haven’t tried it myself.

10.03.2026 22:54 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
Tony Hoare (1934-2026) Turing Award winner and former Oxford professorΒ  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

RIP Tony Hoare, March 5 2026, age 92

blog.computationalcomplexity.org/2026/03/tony...

10.03.2026 18:03 πŸ‘ 55 πŸ” 32 πŸ’¬ 1 πŸ“Œ 1

We can vote this privileged moral cipher out of office in November, Ohio.

10.03.2026 20:46 πŸ‘ 84 πŸ” 23 πŸ’¬ 8 πŸ“Œ 0

And note that bsky isn’t required to do this in Ohio, they’re choosing to.

09.03.2026 23:00 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Great. Another way to hide disfavored content from adults.

09.03.2026 22:50 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Ok, but why is Graham Platner actually a thing? Wtf is wrong with yall?

05.03.2026 13:49 πŸ‘ 1562 πŸ” 165 πŸ’¬ 81 πŸ“Œ 34
Preview
Why now is the time to be loudly anti-war We don't need the clarity of hindsight to know war in Iranβ€”or anywhereβ€”will end in physical, moral and financial ruin.

New β€” My case for why it’s not enough to call this β€œTrump’s war” when violence abroad implicates us all, and how we don’t need hindsight to know that unequivocally opposing this war will be the correct (and only morally defensible) choice:

09.03.2026 00:11 πŸ‘ 1629 πŸ” 491 πŸ’¬ 24 πŸ“Œ 23
Video thumbnail

Her trip to Ireland was ruined by this one question?? Gee, I wonder why…

08.03.2026 18:53 πŸ‘ 14782 πŸ” 2366 πŸ’¬ 1293 πŸ“Œ 790

I have a fun pen and paper return-oriented programming activity. I give students 11 sequences of instructions ending in ret and ask students to construct 5 higher-level gadgets. checkoway.net/teaching/cs3...

I also have the same thing in code: checkoway.net/teaching/cs3...

06.03.2026 21:37 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Claude’s Cycles

Don Knuth, Stanford Computer Science Department

(28 February 2026; revised 02 March 2026)

Shock! Shock! I learned yesterday that an open problem I’d been working on for several weeks had just been solved by Claude Opus 4.6 β€” Anthropic’s hybrid reasoning model that had been released three weeks earlier! It seems that I’ll have to revise my opinions about β€œgenerative AI” one of these days. What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving. I’ll try to tell the story briefly in this note.

Claude’s Cycles Don Knuth, Stanford Computer Science Department (28 February 2026; revised 02 March 2026) Shock! Shock! I learned yesterday that an open problem I’d been working on for several weeks had just been solved by Claude Opus 4.6 β€” Anthropic’s hybrid reasoning model that had been released three weeks earlier! It seems that I’ll have to revise my opinions about β€œgenerative AI” one of these days. What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving. I’ll try to tell the story briefly in this note.

YOOOOOOO fucking KNUTH dropped a lil note on a problem of his being solved w/claude y'alllllll

03.03.2026 22:58 πŸ‘ 181 πŸ” 41 πŸ’¬ 3 πŸ“Œ 11
George W. Trump? Donald J. Bush?
George W. Trump? Donald J. Bush? YouTube video by Takesβ„’ by Jamelle Bouie

A fantastic rundown from @jamellebouie.net about what it means to live through Republican governance.

"We elected a Republican president, and the Republican president is doing things that Republican presidents do."
www.youtube.com/watch?v=1tEX...

03.03.2026 05:09 πŸ‘ 11 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0
Screenshot of a chessboard with only white squares and white pieces. In the game, the player with the white pieces has checkmated the player with the white pieces.

Screenshot of a chessboard with only white squares and white pieces. In the game, the player with the white pieces has checkmated the player with the white pieces.

Every so often @chess.com releases new bots. The Yoko Ono bot is the most interesting I've seen. Both sides play with white pieces.

(Deleted and reposted to add alt text. First time I've forgotten. My bad.)

02.03.2026 15:18 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I can't respond to Gita's thread here bsky.app/profile/xoxo... but I want to note that the response to the final "Shut the fuck up" directed at Bouie by Martin was especially gross.

I thought that @evanurquhart.bsky.social had a good take on the whole thing.

Going back to my own lane now.

27.02.2026 17:42 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Yeah this has been bothering me for a while. Bouie is able to be wrong about things, that’s not in dispute. But I have experienced the sheer glee people get when they can tell a black person β€œum actually” and like, people truly salivate at the chance.

27.02.2026 17:17 πŸ‘ 365 πŸ” 32 πŸ’¬ 10 πŸ“Œ 0
An official letter from the Kansas Division of Vehicles dated February 23, 2026, with a redacted recipient address. The letter notifies the recipient that due to the enactment of Senate Bill 244, all Kansas driver's licenses and IDs must reflect the holder's sex at birth. It states that the recipient's current credential will become invalid immediately upon the law's publication on February 26, 2026, with no grace period. The recipient is directed to surrender their current ID to receive a new one matching their sex assigned at birth. The document concludes with instructions on how to appeal the notice if received in error, along with contact information for the department.

An official letter from the Kansas Division of Vehicles dated February 23, 2026, with a redacted recipient address. The letter notifies the recipient that due to the enactment of Senate Bill 244, all Kansas driver's licenses and IDs must reflect the holder's sex at birth. It states that the recipient's current credential will become invalid immediately upon the law's publication on February 26, 2026, with no grace period. The recipient is directed to surrender their current ID to receive a new one matching their sex assigned at birth. The document concludes with instructions on how to appeal the notice if received in error, along with contact information for the department.

Kansas is sending letters to trans people telling them that their licenses will be revoked as of tomorrow and that they risk arrest for driving on a suspended license.

This is pure cruelty.

www.erininthemorning.com/p/kansas-sen...

26.02.2026 01:10 πŸ‘ 8542 πŸ” 4246 πŸ’¬ 320 πŸ“Œ 745
The Myth of E2E Encryption

Man: g^a
Woman: g^B
NSA: (a,b) DUAL EC DRBG

Isn't there somebody you forgot to ask?

The Myth of E2E Encryption Man: g^a Woman: g^B NSA: (a,b) DUAL EC DRBG Isn't there somebody you forgot to ask?

Random memes from like a decade ago.

26.02.2026 00:56 πŸ‘ 25 πŸ” 6 πŸ’¬ 0 πŸ“Œ 0

This sad tale is the most American story ever.

You have a non-violent refugee, in need of help.

You have racist neighbors, calling the cops on him.

You have violent cops, beating him for "not complying" by not dropping his "weapon" (walking stick) then claiming they were hurt.

Then abuse by ICE.

26.02.2026 01:00 πŸ‘ 86 πŸ” 41 πŸ’¬ 4 πŸ“Œ 1

Truly one of the most enraging, weak-kneed things that the D.C. Circuit has done over the past 13 months.

25.02.2026 00:20 πŸ‘ 632 πŸ” 197 πŸ’¬ 11 πŸ“Œ 1

There have always been horrifically anti-trans groups and individuals. Few have done more, though, to launder their hate into β€œrespectable” conversations than Jess Singal. No publications have done more to help that along than The Atlantic and The New York Times.

24.02.2026 14:45 πŸ‘ 1096 πŸ” 271 πŸ’¬ 7 πŸ“Œ 12

Specifically, BSD-derived realloc(ptr, 0) [e.g., on macOS] returns a 0-sized allocation like you'd get from malloc(0) (or realloc(0, 0)).

glibc treats realloc(ptr, 0) as free(ptr) unless ptr is NULL in which case you get malloc(0).

I think the BSD one is more consistent, but either is fine. No UB!

23.02.2026 16:01 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Ugh, TIL C23 makes realloc(ptr, 0) UB for non-NULL ptr. [My reading of the spec makes realloc(0, 0) perfectly well defined though!]

realloc is already difficult to use correctly, but why would they introduce UB, especially for something that already has two perfectly reasonable implementations?

23.02.2026 15:53 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Every Chain Chomp Glitch in Super Mario 64
Every Chain Chomp Glitch in Super Mario 64 YouTube video by pannenkoek2012

Would you like to know about every Super Mario 64 glitch involving the Chain Chomp? Have I got a video recommendation for you: www.youtube.com/watch?v=qXx6...

22.02.2026 16:07 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Thanks!

21.02.2026 18:16 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0