Donald Knuth, who, adorably, effectively blogs by posting TeX-typeset PDFs:

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.

(Via Simon Willison.)

Help us Obi-Wan Lemay, you’re our only hope.

(Also, as noted by Joe Rossignol, Eddy Cue got an updated headshot.)

My thanks, once again, to WorkOS for sponsoring this week at DF. npx workos is a CLI tool, replete with cool ASCII art, that launches an AI agent, powered by Claude, that reads your project, detects your framework, and writes a complete auth integration directly into your existing codebase. It’s not a template generator. It reads your code, understands your stack, and writes an integration that fits.

The WorkOS agent then type-checks and builds, feeding any errors back to itself to fix. See how it works for yourself.

Ryan Whitwam (PDF): Late last year, Google and Epic concocted a settlement that would end the long-running antitrust dispute that stemmed from Fortnite fees. The sides have now announced an updated version of the agreement with new changes aimed at placating US courts and putting this whole mess in the rearview mirror. The gist is […]

Nick Heer: Snell converts the software score to an average letter grade of B to B–. Is Apple satisfied with shipping a consistently B product? I confess the grade I have given has been lower than this average. My experience with Apple’s software for the past several years has been markedly less than fine. Given […]