- 336
Actively exploited sandbox RCE in all Chromium versions
(nvd.nist.gov)
- 539
Formalizing Fermat's Last Theorem
(anthropic.com)
- 1550
Discovery of a new OpenAI agent message board
(collusion.wiki)
- 79
Artificial Analysis Intelligence Index v4.2
(artificialanalysis.ai)
- 191
Statichost.eu – European static site hosting
(statichost.eu)
- 154
GPT-6 Astra on OpenRouter
(openrouter.ai)
- 192
Can AI design circuit boards yet?
(eebench.org)
- 284
Shutting down our public encrypted DNS
(mullvad.net)
- 44
Can guitar frets perform multiplication?
(charlespetzold.com)
- 17
Git Submodules as a Package Manager
(nesbitt.io)
- 58
Portal by Spotify cut my Claude Code token usage by 90%
(engineering.atspotify.com)
- 252
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
- 81
RSA-260 Factorized
(twitter.com)
- 76
Ask HN: Resources to get good at soldering?
(undefined)
ask - 70
An open DNS recursive service for free security and high privacy
(quad9.net)
- 79
Fermat's Last Theorem in Lean 4
(github.com)
- 80
Government Rails Site Hit Hours After CVE Patch
(rietta.com)
- 15
Bugs happen: The easy way to compare solo PQ to ECC+PQ
(blog.cr.yp.to)
- 50
Decompiler Explorer
(dogbolt.org)
- 124
The Rust React Compiler is now native in Vite
(blog.master.dev)
- 241
IBM Bob
(bob.ibm.com)
- 270
Record-High 89% in U.S. Say Government Corruption Widespread
(news.gallup.com)
- 102
Show HN: TERMy – A fast terminal assistant that does not use LLMs
(github.com)
- 31
Icons as a Service
(nravic.com)
- 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)
- 122
deSEC – Free Secure DNS
(desec.io)
- 38
Nitter has more working instances than before the takedowns
(codeberg.org)
- 31
Updates on HEIR, the Homomorphic Encryption Compiler Project
(jeremykun.com)