Simon @spoltier@qoto.org

First look at the DGX Spark

https://xeiaso.net/blog/2025/dgx-spark-first-look/?utm_campaign=mi_irl&utm_medium=social&utm_source=mastodon

My notes on Claude Code for web, Anthropic's new asynchronous coding agent - I had preview access over the weekend, it's effectively a sandboxed instance of "claude --dangerously-skip-permissions" running in Anthropic's container https://simonwillison.net/2025/Oct/20/claude-code-for-web/

Traditionally, financial crashes are the best time to get tighter regulations passed, so now is probably a good time to start planning for the AI crash. Here is the starting point for my wishlist:

Companies may not issue dividends or share buybacks while they have any outstanding debt.
Companies above a $1bn valuation may not invest in companies up or down their supply chain without regulatory approval.
Companies above a $500bn valuation may not invest in companies up or down their supply chain at all.
Companies with a valuation above $500bn are automatically investigated for anticompetitive behaviour every three years. If they have not addressed all of the issues found in one investigation by the time the next takes place, they are split up into multiple companies, with no exceptions.
The rules for when companies must be taken public (and therefore have public reporting duties) are adjusted to apply to beneficial owners, having 500 people invest in a fund that invests in the company counts as 500 investors, not one.
Any CxO found to have misled investors is stripped of all shares they were awarded, any income from sale of shares, and any earnings above the median wage of their company, and banned from ever holding company directorships or CxO positions again.

What’s on your list?

Welcome to Day 2 of Dr. Cat's Mastodon Lecture Series: Underrated Women at the Intersection of Humanity * Engineering

Have you ever said to yourself my god if only someone could come along and stop reducing software development work to stupid metrics! If only they would sit next to some real working teams and just LISTEN to us!

You may be looking for: MARIAN PETRE

https://en.wikipedia.org/wiki/Marian_Petre

Because we need good news: Gary Larson is drawing again (he bought a tablet, taught himself how to use it, and suddenly drawing was fun again): https://www.thefarside.com/new-stuff/

NVIDIA sent me preview hardware of their new DGX Spark 128GB ARM64 4TB "AI supercomputer" - it's a very neat little device, here are my notes so far
https://simonwillison.net/2025/Oct/14/nvidia-dgx-spark/

You know what’s really underrated?

Social opprobrium.

🧵

nanochat by Andrej Karpathy is neat - 8,000 lines of code (mostly Python, a tiny bit of Rust) that can train an LLM on $100 of rented cloud compute which can then be served with a web chat UI on a much smaller machine https://simonwillison.net/2025/Oct/13/nanochat/

#notesArt #mastoArt #art #illustration #inktober day 12: shredded

I like to dress up, sit in the park, and do bookbinding. I do this probably 2-3 times a week when it's nice out. Very good

Ok folks, let's do a barter because I really want to do this free session but I am also an exhausted human and I need my efforts to go toward my own work too.

If my newsletter gets 20 new signups in the next week, I'll do an open "design a study with Cat" mini workshop 💕

Spread the word! Also yes I absolutely know it would be trivial to game this and I'm trusting you not to. Why? Because I trust you. 🤗

https://www.fightforthehuman.com/

my work sometimes feels like trying to very slowly and exhaustingly transition over like 10 years from brutalist radical DIY laptop kit for the post-apocalypse to a not-too-weird-looking, hardware and software bug-free, always reliable, well-supported, performant, silent, secure and still repairable and open source laptop that people with a shopping list of specific requirements would find acceptable enough, while not selling out and still surviving somehow

Went for a bike ride yesterday. Weather was ok, I guess.

🚨 OxF EUROPE-FRIENDLY TIME ALERT 🚨

AI is affecting many areas of life, but arguably none more so than higher education, where it is challenging the mechanics, the economics and even the purpose of post-secondary education. On Monday, @ahl and I will be joined by Michael Littman, professor of computer science at Brown University -- and AI Provost for the university. Join us at 9a Pacific for what promises to be a lively and wide-ranging discussion!

https://discord.gg/QrcKGTTPrF?event=1426652393822752939

in its first year, pastagang has created 5 collaborative creative tools, written 22 blog posts, released 3 podcast episodes, published 1 academic paper and given 1 talk. it has performed in 23 gigs in London, Sheffield, Karlsruhe, Ljubljana, Berlin, Barcelona, Linz, Landau, Boston and New York. through these, pastagang has accidentally earned over £200. it has also released 3 albums, 1 single and 119 recordings of jam sessions

This LLM security research from Anthropic also has important copyright implications:

https://www.anthropic.com/research/small-samples-poison

I experimented with using a more powerful AI (ChatGPT5 Pro) to attempt an open problem https://mathoverflow.net/questions/425509/sphere-with-bounded-curvature which is not quite in my area of expertise (specifically, differential geometry): https://chatgpt.com/share/68e85cba-7228-800e-8804-a0f41aa64e14 . The outcome was surprisingly nuanced, and illustrates a point I made in an earlier post https://mathstodon.xyz/deck/@tao/114501120421010793 that one has to measure the usefulness of a tool at multiple scales. In summary: AI assistance was very useful at small scales, somewhat unhelpful at medium scales, but somewhat helpful again at large scales; the problem remains unsolved, but I understand it much better now.

The problem asks, if a smooth immersed sphere in R^3 has both principal curvatures bounded in magnitude by 1, must it enclose at least a large a volume as the round unit sphere? This looked to me like a variational problem in which the round sphere would be the minimizer, so the problem naturally splits into a "perturbative" regime in which the immersed sphere is close to round, and the "non-perturbative" regime in which the immersed sphere is far from round. Lacking much geometric intuition on this problem, and knowing that most of my analysis-based toolkit was geared towards pertburative cases, I guessed that the perturbative regime would be the more important case, and chose to focus efforts there. (1/8)

"The Trump administration on Thursday proposed banning Chinese airlines from flying over Russia on routes to and from the United States, saying the reduced flight time this practice enables puts American carriers at a disadvantage." https://www.reuters.com/world/china/trump-proposes-barring-chinese-airlines-flying-over-russia-us-flights-2025-10-09/

What you might call a win-win kind of situation

"Error: Postal codes cannot contain spaces" Oh you believe that, do you