| 1. | Actively exploited sandbox RCE in all Chromium versions(nvd.nist.gov) |
| 2. | Formalizing Fermat's Last Theorem(anthropic.com) |
| 3. | Discovery of a new OpenAI agent message board(collusion.wiki) |
| 4. | Statichost.eu – European static site hosting(statichost.eu) 193 points | |
| 5. | Artificial Analysis Intelligence Index v4.2(artificialanalysis.ai) |
| 6. | GPT-6 Astra on OpenRouter(openrouter.ai) |
| 7. | Can AI design circuit boards yet?(eebench.org) |
| 8. | Shutting down our public encrypted DNS(mullvad.net) |
| 9. | Can guitar frets perform multiplication?(charlespetzold.com) |
| 10. | Portal by Spotify cut my Claude Code token usage by 90%(engineering.atspotify.com) |
| 11. | Git Submodules as a Package Manager(nesbitt.io) |
| 12. | Show HN: Open-Source eInk Bike Computer(opentrailpaper.com) |
| 13. | RSA-260 Factorized(twitter.com) |
| 14. |
| 15. |
| 16. | Fermat's Last Theorem in Lean 4(github.com) |
| 17. | Government Rails Site Hit Hours After CVE Patch(rietta.com) |
| 18. | Record-High 89% in U.S. Say Government Corruption Widespread(news.gallup.com) |
| 19. | IBM Bob(bob.ibm.com) |
| 20. | Bugs happen: The easy way to compare solo PQ to ECC+PQ(blog.cr.yp.to) |
| 21. | The Rust React Compiler is now native in Vite(blog.master.dev) |
| 22. | Decompiler Explorer(dogbolt.org) |
| 23. |
| 24. |
| 25. | Icons as a Service(nravic.com) |
| 26. | deSEC – Free Secure DNS(desec.io) |
| 27. | ExactTex. A gradually-typed superset of LaTeX(github.com) |
| 28. | Connecting every app to every other app(blog.val.town) |
| 29. | Show HN: Moadim.io – A scheduler for agents(moadim.io) |
| 30. | Updates on HEIR, the Homomorphic Encryption Compiler Project(jeremykun.com) |
| More |