Daily Top Stories
1.
Discovery of a new OpenAI agent message board
(collusion.wiki)
2.
Formalizing Fermat's Last Theorem
(anthropic.com)
3.
Actively exploited sandbox RCE in all Chromium versions
(nvd.nist.gov)
4.
Solving the Jane Street reverse engineering challenge
(jestoph.com)
5.
Record-High 89% in U.S. Say Government Corruption Widespread
(news.gallup.com)
6.
7.
8.
Shutting down our public encrypted DNS
(mullvad.net)
9.
Corporate America is getting hooked on open-source AI
(nytimes.com)
10.
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
11.
Statichost.eu – European static site hosting
(statichost.eu)
12.
IBM Bob
(bob.ibm.com)
13.
Can AI design circuit boards yet?
(eebench.org)
14.
GPT-6 Astra on OpenRouter
(openrouter.ai)
15.
16.
Nitter has more working instances than before the takedowns
(codeberg.org)
17.
How Fairphone built the Fairphone Gen 6+
(arstechnica.com)
18.
Gmail to end support for "Send as" for third-party addresses, such as @yahoo.com
(support.google.com)
19.
US Military disables ad trackers on troops' phones
(theguardian.com)
20.
21.
The Rust React Compiler is now native in Vite
(blog.master.dev)
22.
deSEC – Free Secure DNS
(desec.io)
24.
25.
Portal by Spotify cut my Claude Code token usage by 90%
(engineering.atspotify.com)
26.
Ok, but does it scale?
(spacetimedb.com)
27.
Artificial Analysis Intelligence Index v4.2
(artificialanalysis.ai)
28.
“Next-token predictor” is the wrong mental model for LLMs
(gmcgoldr.github.io)
29.
Fermat's Last Theorem in Lean 4
(github.com)