Daily News Digest

Morning edition, generated 2026-09-05.

Showing top 30 of 100 distinct stories after deduping (0 appeared in more than one source).

Formalizing Fermat's Last Theorem

Sources: Hacker News

HN: 561 points, 346 comments (discussion)

I suggest also reading Kevin Buzzard's blog post which was just posted: https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h... Provides great context on this accomplishment, what it means but also doesn't mean.

Also linked: Hacker News

introducing HUMAN.JSON

Sources: Bubbles (Nicola Losito)

Babashka 1.13.220 gets FFI

Sources: Lobsters

'Coyote vs. Acme' Beats Ridley Scott's Newest Movie

Sources: Slashdot

Anthropic lays groundwork for bots that shop for you

Sources: The Register

COSMAC Elf Turns 50

Sources: Hackaday

Actively exploited sandbox RCE in all Chromium versions

Sources: Hacker News

HN: 378 points, 213 comments (discussion)

Let's take a moment to talk about the monetary value of this vulnerability. According to the Chrome release page ( https://chromereleases.googleblog.com/2026/09/stable-channel... ), Google paid a researcher $1000 for ethically reporting this. The CVE associated with it (CVE-2026-85046) is already be...

Pixel Area

Sources: Bubbles (Happily Imperfect), Bubbles (wry writer)

Also linked: Bubbles (Happily Imperfect)

FLT: Anthropic has beaten me to it

Sources: Lobsters

Google Engineer Accused of Polymarket Insider Trading Says He Was Just Gambling

Sources: Slashdot

AMD's Threadripper Halo is a local-AI workstation for researchers with deep pockets

Sources: The Register

Parchment Paper Paired With 3D-Printed Grid Gives a Nice Glow

Sources: Hackaday

Record-High 89% in U.S. Say Government Corruption Widespread

Sources: Hacker News

HN: 305 points, 237 comments (discussion)

Corruption in the US isn't new, but it's never been done as openly as it has been recently. I don't think it's a good thing. It shows that the government isn't concerned about what the public thinks, which suggests that they believe they no longer have to be. That's not a healthy sign for what's sup...

Handwritten code

Sources: Bubbles (Katherine Yang)

jank reimagines C++ errors and gets an official native package repo

Sources: Lobsters

ASCII smuggling isn't just an AI security risk

Sources: The Register

Fixing an Expensive Seagate LaCie Hard Drive Array

Sources: Hackaday

Shutting down our public encrypted DNS

Sources: Hacker News

HN: 300 points, 134 comments (discussion)

Writing at a blog helps you write more elsewhere

Sources: Bubbles (Herbert Lui)

deft: A gradual type system for Janet

Sources: Lobsters

JavaScript installer pnpm recast in Rust because ECMAScript can't keep up

Sources: The Register

Making a Pole Balance Itself With Propellers

Sources: Hackaday

Show HN: Open-Source eInk Bike Computer

Sources: Hacker News

HN: 263 points, 93 comments (discussion)

Australia is building a deep surveillance infrastructure.

Sources: Bubbles (shojiwax.com)

A preview of the future Intel Architecture documentation

Sources: Lobsters

Cloud snail-mail service Docmail enters third day stuck in the outbox

Sources: The Register

IBM Bob

Sources: Hacker News

HN: 248 points, 279 comments (discussion)

Totally reminds me of "HP Offers 'That Cloud Thing Everyone Is Talking About'" https://youtube.com/watch?v=9ntPxdWAWq8

2026-09-03 14:47: Why do so many calendar apps offer Sunday as the first day of the week?...

Sources: Bubbles (Kev Quirk)

Stop Thinking of LLMs as Next-Token Predictors

Sources: Lobsters

On Call: User who handled life-or-death situations struggled with the SHIFT key

Sources: The Register