Follow buttons here act as you, not as @admin.
| Label | Kind | State | Action |
|---|---|---|---|
| @ricardo | local | — | |
| @rmdes | local | — | |
| @paul | local | — | |
| news.rss.chat | source | — | — |
| scripting.com | source | — | — |
| www.techdirt.com | source | — | — |
| simonwillison.net | source | — | — |
| www.manton.org | source | — | — |
| feeds.kottke.org | source | — | — |
| rss.beehiiv.com | source | — | — |
| www.404media.co | source | — | — |
| brilliantmaps.com | source | — | — |
| shellsharks.com | source | — | — |
| www.platformer.news | source | — | — |
| podstandards.org | source | — | — |
| zacharykai.net | source | — | — |
The Chicago Public Library informs patrons of how much money they’ve saved borrowing from the library instead of buying. “You just saved $58.94 by using your library. You have saved $231.79 this past year and $1,107.24 since you began using the library!”
Over the past 12 years, Super Bowl-winning coach Mike Tomlin has built a Minecraft city. He started playing the game for the same reason I started playing Fortnite: his kids. “How do I meet them where they are and spend time with them?”
I sort of tuned out during the Apple Watch part of the presentation today. Catching up on Siri Recap and Live Rewind. How it works (PDF) is interesting... It's pretty clever. Jumping through a lot of hoops for maybe not-great transcription, though.
From the Internet Archive: Vanishing Culture: A Report on Our Fragile Cultural Record. “When digital materials are vulnerable to sudden removal…our collective memory is compromised, and the public’s ability to access its own history is at risk.”
Over on Flickr, Jane McDevitt maintains a huge collection of 20th century matchbox label art from Eastern Europe, over 4000 photos in all. Some of the labels are available as prints. They did a book too, but it’s sold out. It was really difficult to narrow these down to some of my favorites, but I managed.







P.S. I wrote this whole post and then discovered that I’d written about this collection before. But I picked different labels so it’s all good.
Tags: art · illustration · Jane McDevitt
A catalogue of 645 acts of hate from the week after 9/11. “Muslim, Arab, South Asian, and Sikh Americans were targeted for how they looked, dressed, or prayed.”
Bayeux Go! A playable video game of the Bayeux Tapestry. “Thou art Harold. Win Thine Battle. Tap to starte.”
Not sure who created these, but I'm starting to notice a couple bridges from specific X accounts to AT Proto, so you can follow people on Bluesky (or in Micro.blog) without visiting X. Here are two: John Ternus and Tibo. There are probably more.
Spaceships: A version of Asteroids where “you are not the ship” — you control the rocks instead.
It looks like Apple has knocked it out of the park with the Duo. Really impressive, from the way it looks to the little details in UI layout. And Apple pencil! Jealous of people who are going to get one. 💰
"But actually, there is one more thing..." 🤯
Surprising to include this. It also had its own spin on the phrase, though, almost downplaying it instead of hyping it. Interesting first keynote for John Ternus.
Watching the Apple event. John Ternus is a great presenter who would do really well live. Maybe next year.
I spent the day programming in Atlantis. It's buggy, and there are a few missing parts, but most of what I need is there. It's starting to feel like Frontier, which is cool because that's what we're making. And I have my backup tools working on the new machine, praise Murphy.
During breakfast I usually turn on CNN just to make sure the world hasn't burned down yet. Today's headline was an Anthropic employee posting on X there's a 10% chance AI will destroy all humans. Yikes. Seems a bit high.
New day. New coffee. What should we work on? Current priorities: wrapping up the new mobile app bug fixes, updating Wavelength, but open to other side quests this week. ☕️
Jason Snell blogged a reaction to the latest rumors that the foldable will be called the iPhone Duo! Great name, I really didn't think Apple would go for it. Also happy to see pencil support:
I’ve been wondering about Apple Pencil support on the iPhone for some time now. This product does sort of make sense for it, given the larger canvas of an interior screen.
The 101 Plays Itself. The five lanes of highway 101 in LA turned into a musical instrument: each car on the live Caltrans camera is a note.
I know I’m really late to this show, but because of the new spinoff we’ve been watching The Big Bang Theory for the first time. A few seasons in. 📺
Got this spam text today, just in case there was any question that data centers are going to be a big issue in November:
Manton, if you live at [my address], Republicans have supported a Data Center within 15 miles of you.
On the Navier–Stokes Millennium Prize Problem introduces an impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that have been subject to a $1,000,000 prize since May 24th, 2000.
The discovery is somewhat overshadowed by accusations of skulduggery from Tristan Buckmaster, an NYU mathematics professor who was collaborating on related problems with Levent Alpöge, an accomplished mathematician who currently works for Anthropic.
Tristan's complaint accompanied a hastily published version of their own results. Here's the PDF describing what happened. The very short version is that Tristan and Levent worked on the problem for almost a year, making extensive use of Claude and Codex (mainly GPT-5.6 Sol), then had a breakthrough on August 15th. The mathematical rumour mill kicked into gear and Tristan and Levent heard that OpenAI had heard that Anthropic had resolved "a major open problem", so they reached out and learned that OpenAI had a team working on a related problem, with a similar approach. Quoting Tristan:
I asked when the first prompt had been sent by them. This question was not answered directly by OpenAI for some time. Eventually it was agreed that it had been sent in the past few days, after information about our work had reached OpenAI.
I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer.
It gets more complicated from there. The OpenAI team offered to wait for Tristan to publish, or to have him author a paper about their result, but were clear that Levent would not be invited as a co-author due to OpenAI's competitive relationship with his employer.
Here's how OpenAI described their work:
On Tuesday, September 1, we heard rumors that two Millennium Prize problems had been resolved. Inspired by these rumors and by the step change in performance of our internal model, we launched an effort to evaluate it on all open Millennium Prize problems and a few other high-impact problems. [...]
The agents arrived at their resolution on Saturday, September 5, about 88 hours after the first agents were launched. Lean formalization and verification took an additional 17 hours via GPT‑6 Astra.
Across all attempted problems, the agents sent 4.9 million messages and used about 300 billion output tokens. In the process of resolving the Navier–Stokes problem, the agents sent 2.7 million messages and used approximately 130 billion output tokens.
(We don't know the cost structure of the internal model they used, but 300 billion output tokens at public API prices for GPT-6 Astra would cost $15,000,000.)
Here's where they provide their perspective on Tristan and Levent's work (emphasis mine):
Our effort began on September 1st after hearing a rumor which we later realized was related to Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math professor at NYU. After the completion of our full project and Lean verification (on September 6th), believing from the rumor they also had a solution of Navier–Stokes, we reached out to them to offer a concurrent release of our result and to recognize their priority in a joint announcement. [...]
We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem. While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models. However, our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs unforced).
My interpretation of what happened here is that OpenAI heard that some Millennium Prize problems had been solved using LLMs and saw this as an opportunity to demonstrate the power of their latest model, without thinking too hard about the optics of scooping a team who had been using OpenAI's own models to work on this problem for the best part of a year.
This situation appears to mirror what's happening in the world of computer security right now. Anil Madhavapeddy recently pointed out that Just a rumour of a bug is enough to find a security exploit these days, because if someone knows that some software has an unpatched vulnerability, they can set their agents the task of finding it. Is the same now true of mathematics? Just knowing that there is an unpublished solution to a problem might trigger millions of dollars in LLM spending to get there first.
This also highlights one of my ongoing frustrations about how all of this works. When an AI lab says that my data is "used to improve model performance", what does that actually mean?
My two favourite hypothetical questions regarding this used to be:
My new preferred hypothetical for this is:
Via Hacker News.
You are only seeing the long-form articles from my blog. Subscribe to /atom/everything/ to get all of my posts, or take a look at my other subscription options.
Feels like the AI world is balancing on a knife's edge. On one side, the worst of big tech's social media addiction machine and an even greater concentration of power. On the other side, the democratization of intelligence and an abundance that lifts all of society. Either outcome seems possible.
OpenAI announced a solution to the Navier-Stokes problem, which I had never heard of because I'm not a mathematician, but which is apparently a very big deal:
The question of whether smooth three-dimensional fluid motion can break down has remained unresolved for roughly 90 years.
There is some controversy over whether two human researchers (one at Anthropic) working on similar problems might've accidentally influenced the OpenAI model. It doesn't sound like that's true, but it does feel a little unfair regardless, where credit likely means so much to people.
Did a little Redis housekeeping, cleaning out orphaned records that were sitting around wasting memory. Down to 23 GB of RAM on a 48 GB machine. Still probably too much.
I had a nap yesterday and a late Dr. Pepper, so my sleep was all off. Caffeine really affects me late in the day. Woke up at 2am worried about all sorts of business and social things I can't control.
Let it go. 🎶
Might be about time to get a Switch 2... Ocarina of Time remake looks good. 🕹️
Ben Thompson in today's Stratechery blog post:
AGI is AI that learns continuously. That’s not the case with current large language models.
I agree with Ben's definition of AGI, but LLM memory is so good now, it's almost indistinguishable from learning. My ~/.codex/memories folder is 7 MB, which doesn't sound like much, but it's only small Markdown files. It's incredible how much it knows. That doesn't even count ChatGPT's dreaming memory system and computer history.
How am I just now hearing this interview with Jensen Huang? "You're not talking to someone who woke up a loser." 🤣