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 | — | — |
"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." 🤣
Scott Hanson is working on a WordPress plugin that displays a FeedLand river — a constantly-updated stream of news items from feeds a FeedLand user subscribes to — on a WordPress page or post. It's important that news flows be part of managing a site. Help Scott make it perfect, WordPress is a very important part of the web. The news tab on my blog home page is an example.
RSS has a business problem, not a technical one
"I think the logical model is a reselling portal. It negotiates contracts with publishers and obtains full feeds."
https://twowavesandadot.blog/rss-has-a-business-problem-not-a-technical-one.html
Teaser trailer for You Can See Everything from Nathan Fielder & Lance Oppenheim. “Thirty-four days before she’s sent to prison, notorious Silicon Valley founder Elizabeth Holmes invites a skeptical film crew to document her every move.” WHAT WAS THAT?
This could be really good. Trailer for a new documentary from Nathan Fielder and Lance Oppenheim about Elizabeth Holmes: You Can See Everything. Amazing cut to the wider shot at the end.
Today I updated the Micro.blog web interface with better links and icons in the timeline, and a new context menu for editing your own posts or muting a conversation. There are a lot of related design fixes too. Just a better design and more room for us to build new things on.
Reflecting on the Astra launch... It was a killer business instinct for Greg Brockman to say, "yeah, this is basically AGI." Dario Amodei is much more cautious. He's not going to say that about Fable. But it works because it actually feels true. Marketing not based on truth is just bullshit spin.
I wanted to quote a couple things from this OpenAI blog post on alignment by Jakub Pachocki:
The fundamental challenge of AI alignment is generalization. As machines become smarter, they find themselves working on higher-level concepts, and placed in environments increasingly different from those they encountered in training. They can fail at generalizing from the values taught and reinforced in their training process to those new situations; and it can be hard for us to be sure how they will act.
And:
We are facing a transition to a world with incredibly intelligent machines, and we need to ensure that transition works out well for humanity. We need to find ways to preserve human agency and enshrine an intrinsic value to being human, in a world where most tasks could be performed by AI.
When I read this sort of thing, it strengthens my belief that the big AI labs are fundamentally different from the ad-based big tech companies in Silicon Valley like Meta. In terms of public backlash, they are all lumped together. It’s that foundation of distrust in big tech that the more significant frustration with AI is built on.
But the technology and vision are different. It's hard to imagine Meta being as thoughtful as Jakub is in the essay linked above. Mark Zuckerberg does have his op-eds, but they usually ring hollow.
A big corner-turn in the Atlantis project, the new version of Frontier for modern OSes, in development, just me and Claude Code so far. We now have the means to update the root, so anything implemented in script code can be released without fuss, using RSS of course. We're using a method that will be new to almost everyone, something I created in 2014 or so (will check) called codecasting. And today I did all my programming work in Atlantis. It feels just like Frontier, with a future. ;-)
With the 40th anniversary re-release of the original Transformers movie coming up, I finally watched the 2007 Transformers. I had skipped it because it looked all wrong. The design doesn’t look like Transformers to me. Also watched Bumblebee, which it much better, just a better feel, better sound.
Nitter and XCancel are back online after being shut down for a couple weeks following a cease and desist letter from X. I'm a little surprised. From the GitHub project page:
Following legal advice, the Nitter project will continue. More details will be announced soon.
Working on some web timeline design tweaks that will go live in the morning. I've been stubbornly insisting on text labels for Reply, Bookmark, etc. where every other network uses icons only. Going to mostly keep that, but the new version looks way better.
Worrisome reporting from Mark Gurman:
Ternus and services chief Eddy Cue want to make even more money from the App Store and figure out ways to raise margins and squeeze additional recurring revenue from the platform. Schiller, on the other hand, seems to believe that such moves will only further irk developers and governments. While there was no internal blowup or anything like that, it’s something he wanted no part of.
John Gruber adds:
I sure hope that’s not true, because that would be awful — making a bad situation worse — and pretty much the exact opposite of what Apple ought to do.
I think I would really like the foldable iPhone. But at over $2k, I can't justify blowing that much money on a phone. It would be a crazy business expense when I could put that money back into Micro.blog hosting or paying people. Other folks may have different priorities, and that's fine! 💰
Pretty thorough article at The Economist about whether AI is creating or destroying jobs:
Add it all up, and The Economist estimates that AI has so far created around 1m new jobs in America. That easily exceeds the roughly 200,000 lay-offs attributed to AI since mid-2023, and appears more than enough to offset weaker hiring in many back-office roles. America’s AI infrastructure splurge has created many of them.
You could argue that construction-related jobs are temporary, but I don't think so. There's going to be demand for years.