Daily Top Stories
1.
Formalizing Fermat's Last Theorem
(anthropic.com)
2.
Actively exploited sandbox RCE in all Chromium versions
(nvd.nist.gov)
3.
Record-High 89% in U.S. Say Government Corruption Widespread
(news.gallup.com)
4.
Nitter has more working instances than before the takedowns
(codeberg.org)
5.
6.
Shutting down our public encrypted DNS
(mullvad.net)
7.
Statichost.eu – European static site hosting
(statichost.eu)
8.
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
9.
Can AI design circuit boards yet?
(eebench.org)
10.
AI handles incidents, engineers lose touch with their systems
(sylvainkalache.com)
11.
GPT-6 Astra on OpenRouter
(openrouter.ai)
13.
14.
Portal by Spotify cut my Claude Code token usage by 90%
(engineering.atspotify.com)
15.
Git hosting that never leaves Europe
(pushin.eu)
16.
18.
The Rust React Compiler is now native in Vite
(blog.master.dev)
19.
Artificial Analysis Intelligence Index v4.2
(artificialanalysis.ai)
20.
Fermat's Last Theorem in Lean 4
(github.com)
21.
“Next-token predictor” is the wrong mental model for LLMs
(gmcgoldr.github.io)
22.
23.
The "$60 Gaming PC" – AMD BC-250 (2025)
(devquasar.com)
24.
Can guitar frets perform multiplication?
(charlespetzold.com)
25.
26.
Government Rails Site Hit Hours After CVE Patch
(rietta.com)
27.
Pentagon rescinds new testosterone screening policy without explanation
(arstechnica.com)
28.
There's No Limit to How Bad Code Can Get
(zachkehs.com)
30.
Amazon Achieves Enshitification Inception
(pluralistic.net)