1
345
Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
541
Formalizing Fermat's Last Theorem (anthropic.com)
1557
Discovery of a new OpenAI agent message board (collusion.wiki)
193
Statichost.eu – European static site hosting (statichost.eu)
81
Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
157
GPT-6 Astra on OpenRouter (openrouter.ai)
199
Can AI design circuit boards yet? (eebench.org)
286
Shutting down our public encrypted DNS (mullvad.net)
45
Can guitar frets perform multiplication? (charlespetzold.com)
62
Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)
18
Git Submodules as a Package Manager (nesbitt.io)
255
Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
85
RSA-260 Factorized (twitter.com)
80
Fermat's Last Theorem in Lean 4 (github.com)
82
Government Rails Site Hit Hours After CVE Patch (rietta.com)
279
Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
242
IBM Bob (bob.ibm.com)
15
Bugs happen: The easy way to compare solo PQ to ECC+PQ (blog.cr.yp.to)
125
The Rust React Compiler is now native in Vite (blog.master.dev)
50
Decompiler Explorer (dogbolt.org)
41
Nitter has more working instances than before the takedowns (codeberg.org)
31
Icons as a Service (nravic.com)
122
deSEC – Free Secure DNS (desec.io)
22
ExactTex. A gradually-typed superset of LaTeX (github.com)
21
Connecting every app to every other app (blog.val.town)
20
Show HN: Moadim.io – A scheduler for agents (moadim.io)
32
Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)