If they refuse to say who’s affected, that clearly means it’s most or all of their customers 😝 otherwise they’d be downplaying the severity

I haven’t done this, but a thought: can you pass through JSONSchema as a standard representation of the type, derive a generator of the schema on one side, and generate a type on the other? Representation of sums can be kinda ugly but it shouldn’t be lossy

Typical overcorrection I guess. Yes it’s overhyped and people overuse and misuse it, but that doesn’t mean that every use of it is bad or slop. With any luck we’ll converge on a sensible stance in the next few years

You forgot the sudo

There are lots of them in the formal proving community too, though the notion of not being Turing complete also gets pretty fuzzy as the languages get fancier. For example, Agda with only recursion isn’t really TC, but with its corecursion/codata, can “simulate” TC systems

You have to have ridiculous control and mental capacity to play Bach’s 4th fugue from WTC1. Up to five voices beautifully weaving and building upon each other, flowing between the pianist’s hands. It blows my mind that someone could write it at all. It’s a constraint solving masterpiece, and pretty!

I love that piece! Never heard it like this!

I was also wondering about reflections on trusting trust from the POV that Anthropic (and I assume the other big vendors) claims that the model does most of the work on itself nowadays

Set aside all the hype and societal implications and discussions of whether it’s fancy autocomplete or not. If you’d told me a few years ago that I’d be having complex conversations with my computer in 2026, I wouldn’t have believed it. It’s remarkably cool

Somehow most of the ads I see on LinkedIn are from Van Cleef & Arpels, which is odd since I’ve never bought jewelry from them and have also never bought jewelry online. Poor ad targeting and wasted marketing budget?

Murdoch 🫠

Whenever I see someone with those plastic license plate covers, I think they’re shady. They’re all illegible and there’s no legitimate reason to get one other than to hide the plate

NYT provides no evidence here, probably because the claim is flatly untrue. See eg recent Pew data, or many posts on the subject from @gelliottmorris.com this year

www.nytimes.com/2025/12/23/u...

And the award for worst dialog box goes to

I like whatever is wrong with my algorithm over there

Yeah. I’d prefer opt-out over opt-in too. These primitives have an “attractive nuisance” problem where newcomers to concurrent programming (with none of the scars) reach for them and then build really painful-to-find concurrency bugs. I like API designs that make the pitfalls hard to miss

Thanks! Will read!

I’m curious what the argument is for getting rid of it? The usual catch-all “confusing”?

Why do babies need the hepatitis B vaccine if they aren’t high-risk?

Short answer: Because hepatitis B is a tricky virus.

Longer answer: Continue reading ⬇️

🧵1/9 @kkjetelina.bsky.social @meganranney.bsky.social @jasonlschwartz.bsky.social @enirenberg.bsky.social

I bet that @anthropic.com will eventually just make Claude Code (with their new fancy UI) into the default way of using Claude. It’s already far better at doing non-coding stuff than the normal client

dhsgov Deliver justice to criminal illegal aliens. Become a deportation judge. Save your country.

DOJ's newest recruitment ad features Judge Dredd, the comic satire about the dangers of lawless policing and authoritarian power

Repeat after me: context window size is not the limiting factor in any of the mainstream coding agents today. My context window is way smaller than Claude’s and I perform a lot better. These things can perform decently but not by brute forcing more shit into the context window

What’s sad is that there are plenty of cool things you can do with LLMs for language learning, but they didn’t, and they just further enshittified their product. I cancelled my membership

I need a search bar for my house

Me: I want to have more friends

Tech companies:

Insane. Can I take Geology 101 and reject the final exam with "God made the world in 7 days" and get a good grade? Same thing.

If I took a religious studies course on Christianity and submit a citation-free essay ignoring the question, just asserting "Jesus is a false prophet", I'd expect to fail

This ridiculous sentence is written like a bothsides-ish balancing statement, but it isn’t one. When the mob is in charge, paying the protection money they extort from you is a cost of doing business. www.nytimes.com/2025/11/26/u...

There are a lot of excellent universities in this country, and I think when this all shakes out it will be extremely easy for future generations (including my kids) to exclude any school that caved without meaningfully reducing their choices or the quality of the school they end up attending

Announcing Unison 1.0 After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.

🎉 Unison 1.0 has landed!

After years of engineering, design, and community collaboration, we’re excited to announce this milestone!

Spread the word!

I wish more people understood how incredibly difficult and athletic ice dance is, as well as being fun to watch