Saturday, 10 October 2026

One sign error, three papers gone

A day after dumping its 722 maths manuscripts, OpenAI withdrew three: a sign mistake in a stabilisation-trace cancellation in the Weil-classes-on-abelian-eightfolds paper broke that proof, and the two papers built on its construction (Kuga–Satake for K3s, rational Hodge for products of K3s) fell with it. Fourteen more were revised. The withdrawn versions stay visible behind notices — the error left on display rather than quietly patched.

Set theorist Asaf Karagila read the Partition-Principle paper in his own speciality and calls it desk-reject quality: “unclear, muddled”, thinly referenced. And Thomas Hales — who formalised the Kepler conjecture — has a new guest post on Tao’s blog on what Lean can and can’t vouch for.

Implicator · Karagila · Ken Ashe: audit trails · Hales on Tao’s blog

Singapore sprint grid: Verstappen pole, Antonelli only seventh

After a single practice hour, Verstappen took sprint pole by 0.120s from Russell, surviving a yellow-flag investigation. Leclerc 3rd, Piastri 4th, Norris 5th, Hamilton 6th, leader Antonelli 7th. Russell’s back-of-grid penalty applies only to Sunday’s race, so the 21-lap sprint (later today) is his chance to chip at the 84-point gap with Antonelli starting behind him.

Formula1.com

Robert Glasper to score Pohlad’s Miles & Juliette

Bill Pohlad (Love & Mercy) is making a drama about Miles Davis and Juliette Gréco in 1949 Paris, with Damson Idris as Davis and Anamaria Vartolomei as Gréco. Glasper scores and music-produces — a return to Davis after his work on Miles Ahead. Worth watching for how a jazz pianist handles a period score that has to sit next to real Davis.

Film Music Reporter

Agents that ask for attention properly

Mitchell Hashimoto proposes OSC 7501, a terminal escape sequence for a program to declare itself idle, working, done, error or blocked (on permission, a question, auth). The terminal — not screen-scraping heuristics — then drives your “agentic inbox”. It works over SSH and in containers; there’s a libghostty PR and proof-of-concept emitters for Claude Code, Codex and Terraform.

The other half of the problem: bigarrow, a macOS CLI that lets an agent draw a giant click-through arrow at the exact button a human must press (a permission prompt, a 2FA box). It only points; it never clicks.

mitchellh.com · bigarrow on GitHub

“Why isn’t the industry freaking out about DeepSeek 4.1 Flash?”

A month of daily use across a dozen projects, and the author often can’t tell the distilled DeepSeek model from Opus for routine work — at roughly $0.003 a task versus ~$1. His point isn’t a benchmark but a workflow shift: when a task costs a third of a cent, throwaway exploration and unattended runs become free to try, with a frontier model saved for final review. Anecdote, not evaluation — but 860+ HN points of people arguing about it.

dgt.is

A “neon” T-shirt from LED filament and an ESP32

Scott Bezek had under a week to make a neon-sign shirt. Flexible LED “noods” are sewn onto cotton over Aida cloth; an ESP32 drives a TPS61169 constant-current boost for flickering front text, a ULN2003A for PWM on underdriven 12V borders, all from a USB power bank. Since filament can’t be cut, he scaled the lettering in Inkscape with Measure Path to fit the lengths he had, and used heat-shrink as the “block-out paint” between letters. The compromises are written up as candidly as the wins.

Scott Bezek

The lost art of the DVD menu

Declan Chidlow argues mid-2000s DVD menus were a creative peak: Prisoner of Azkaban’s Knight Bus ride, Thunderbirds’ cockpit, playable games on Scooby-Doo 2. The constraints did the shaping — highlights were 2-bit subpictures (four colours from a palette of 16), “transparency” was contrast levels, and the logic lived in sixteen 16-bit registers. Good reading for anyone designing a game’s title screen inside tight limits.

vale.rocks

A commissioned house illustration as a live dashboard

Anton Frolov paid environment artist Owen Yeconiel to draw his house, then made it his Home Assistant UI: each device has a still “off” frame and an animated WebP “on” loop on a shared canvas, with night-time layers switched at sunset. Tap the air conditioner in the picture to control it. A neat model for a diegetic game HUD — state shown in the world, not in widgets.

Anton Frolov

Bethe’s 1931 “strings” finally made in the lab

Hans Bethe predicted that particles in a 1D quantum system could bind into collective states. Nägerl’s Innsbruck group confined caesium atoms in thousands of thin tubes near absolute zero, flipped their interactions from repulsive to attractive, and got clusters of six or more that survived collisions intact — then released them into 3D, where the extra energy given off on break-up was the signature. Published in Nature Communications.

ScienceDaily

A student’s three galaxies that flew too close

Julian Shapiro started this as a high-schooler with archival SDSS and Hyper Suprime-Cam images: three isolated dwarf galaxies near M101 that have stopped forming stars, which isolated dwarfs shouldn’t do. His explanation, backed by simulations: “backsplash” galaxies that swung past M101, were stripped of gas, and flung back out. They’re now Shapiro I, II and III (ApJ).

Universe Today

Neutron-star mergers keep glowing for ten minutes

Einstein Probe caught a short gamma-ray burst (EP250704a) followed by nearly ten minutes of soft X-rays that earlier gamma-ray instruments were blind to — a hidden phase of the merger, possibly powered by a newborn, fast-spinning magnetar (Science Bulletin).

ScienceDaily