Reading List
The most recent articles from a list of feeds I subscribe to.
Donald Knuth on Claude Opus Solving a Computer Science Problem
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.
The Black Pirate, a 100-year-old pirate adventure that kicks ass, is streaming free all over the internet
A look at countries that moved to ban social media for kids in recent months, including Australia, Denmark, France, Germany, Greece, Malaysia, Spain, Indonesia (Aisha Malik/TechCrunch)
Aisha Malik / TechCrunch:
A look at countries that moved to ban social media for kids in recent months, including Australia, Denmark, France, Germany, Greece, Malaysia, Spain, Indonesia — Over the past few months, several countries have announced plans to restrict social media access for children and teens.