Carlos Scheidegger

Ok, I've seen enough. I can't contribute to this medium anymore. I don't know what happens next. We resuscitate blogs and go from there? I don't know. But this is fucked, and I don't think participating at all is net positive. Back to pure work announcements, I guess. DMs open, love y'all

An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4

OpenAI has claimed a refutation of the Exponential Time Hypothetis (ETH). Russell Impagliazzo, Mohan Paturi and Ryan Williams (@rrwilliams.bsky.social) have been asked to organize a community-led effort to evaluate this claim. More here: docs.google.com/document/d/1... h/t @gautamkamath.com

Uh github.com/openai/math/...

This is completely fucking unhinged behavior from whatever product manager that pushed this. On the spot fireable offense if we lived in a reasonable world

Siri, this is insane. (Context: I just upgraded to the latest phone) I got a text message from our building manager about some other renter doing some bullshit in the common areas. I blurted out “wow” entirely involuntarily. Siri helpfully put a !! emoji reaction on the text. Absolutely fucking not

I was getting ready to do some sunday night work, but no, not going to happen

Search for some version of Chiquinha Gonzaga's Gaúcho (Corta Jaca) and go listen to it. I promise you it's meaningful

btw the deep brazilian mentions in bsky right now are "dude, i'm too drunk to argue, it's all good" levels of vibe

I don’t know if he ended up going! This is a good joke but they 100% had this situation come up and there was last day negotiating going on.

Wait. No. What?

The thread deriving from @mjskay.com's response to my post reminds me of good, old #dataViz Twitter. I miss this type of conversation!

Ok this is actually really good.

I can’t imagine the sequence of life decisions that ends with someone screaming “you just read too much mainstream media” into a phone in an airport lobby. And yet

Yup, 850GB magically recovered on reboot.

This is a very good article on the o(n log n) multiplication algorithm claim: web.maths.unsw.edu.au/~davidharvey...

oh, no. oh *hell*, no. This is like reading the first paragraph of a @dereklowe.bsky.social's "Things I Won't Work With" article, one which ends with "and they were not wearing any safety gear"

shitposts aside, this one is serious, my loves: if you’re just waking up and you have any service online running PHP 5.4 to latest, you need to take it down RIGHT NOW and don’t put it back online until after it’s patched absolutely catastrophic vulnerability dropped in the middle of the night

Also, it's ghostwritten by Claude: "We didn't have to reject him. The calendar did." This kind of Surprising Turnaround Assigning Agency To An Inanimate Object is one of its most common tics.

If you're backyard is close to water, consider building a frog sauna to help treat chytrid!

Extremely cool "soundness engineering" happening in the Lean world leodemoura.github.io/blog/2026-10...

github.com/zip-rs/zip2/... 💀 🫡

Can someone steelman the current notion/culture of yanking crates from cargo? Today's exasperation brought to you by wasm-pack being broken by someone deep in the dependency chain yanking some random zip2 crates from cargo. Whyyy

Ok it takes being in two fairly disjoint communities to understand this, but What.

No joke. I think this is the most important video I have ever seen about mobile games. This guy breaks down how this game psychologically profiles you, and makes the game harder or easier in order to show you ads

Virginia Vassilevska Williams wrote some thoughts about the 3-SUM breakthrough Josh Alman and her wrote an exposition of, how it happened, what it means, and some context about 'what could have been' in a world with more time and fewer models. Read it here: people.csail.mit.edu/virgi/though...

Fun to read this in 2026; I had forgotten about the intro. (it was written in 1995: www2.math.upenn.edu/~wilf/AeqB.pdf)

I'm genuinely glad I read this and worked through all the stages of grief Before Present Discourse; the paper is easily on the pareto front of the (excellence, inspires-dread) diagram.

get in loser we're going right round baby right round