| 1. | AI handles incidents, engineers lose touch with their systems(sylvainkalache.com) |
| 2. | Actively exploited sandbox RCE in all Chromium versions(nvd.nist.gov) |
| 3. | Discovery of a new OpenAI agent message board(collusion.wiki) |
| 4. | Formalizing Fermat's Last Theorem(anthropic.com) |
| 5. |
| 6. |
| 7. | Statichost.eu – European static site hosting(statichost.eu) |
| 8. | GPT-6 Astra on OpenRouter(openrouter.ai) |
| 9. | GPT-6 Astra in code review: Gains, privacy, and cost(coderabbit.ai) |
| 10. | Can AI design circuit boards yet?(eebench.org) |
| 11. | Shutting down our public encrypted DNS(mullvad.net) |
| 12. | Portal by Spotify cut my Claude Code token usage by 90%(engineering.atspotify.com) |
| 13. | Git Submodules as a Package Manager(nesbitt.io) |
| 14. | Git hosting that never leaves Europe(pushin.eu) |
| 15. | Artificial Analysis Intelligence Index v4.2(artificialanalysis.ai) |
| 16. | Can guitar frets perform multiplication?(charlespetzold.com) |
| 17. |
| 18. |
| 19. | Show HN: Open-Source eInk Bike Computer(opentrailpaper.com) |
| 20. | IBM Bob(bob.ibm.com) |
| 21. |
| 22. | Fermat's Last Theorem in Lean 4(github.com) |
| 23. | Record-High 89% in U.S. Say Government Corruption Widespread(news.gallup.com) |
| 24. | The Rust React Compiler is now native in Vite(blog.master.dev) |
| 25. | Decompiler Explorer(dogbolt.org) |
| 26. | Government Rails Site Hit Hours After CVE Patch(rietta.com) |
| 27. |
| 28. | deSEC – Free Secure DNS(desec.io) |
| 29. | RSA-260 Factorized(twitter.com) |
| 30. | GPT-6 Astra(openai.com) |
| More |