1. AI handles incidents, engineers lose touch with their systems
    (www.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
    (www.anthropic.com)

  5. Nitter has more working instances than before the takedowns
    (codeberg.org)

  6. Statichost.eu – European static site hosting
    (www.statichost.eu)

  7. Things I Won't Work With: Straight Dimethyl Zinc
    (www.science.org)

  8. GPT-6 Astra on OpenRouter
    (openrouter.ai)

  9. GPT-6 Astra in code review: Gains, privacy, and cost
    (www.coderabbit.ai)

  10. Can AI design circuit boards yet?
    (eebench.org)

  11. Shutting down our public encrypted DNS
    (mullvad.net)

  12. Git Submodules as a Package Manager
    (nesbitt.io)

  13. Portal by Spotify cut my Claude Code token usage by 90%
    (engineering.atspotify.com)

  14. Artificial Analysis Intelligence Index v4.2
    (artificialanalysis.ai)

  15. Show HN: Open-Source eInk Bike Computer
    (opentrailpaper.com)

  16. Can guitar frets perform multiplication?
    (www.charlespetzold.com)

  17. Pointing at the error: compiler-style diagnostics in uutils coreutils
    (uutils.org)

  18. The Highest Point in the Netherlands
    (ipv6.hanazo.no)

  19. IBM Bob
    (bob.ibm.com)

  20. Git hosting that never leaves Europe
    (pushin.eu)

  21. An open DNS recursive service for free security and high privacy
    (quad9.net)

  22. RSA-260 Factorized
    (twitter.com)

  23. Fermat's Last Theorem in Lean 4
    (github.com)

  24. The Rust React Compiler is now native in Vite
    (blog.master.dev)

  25. Record-High 89% in U.S. Say Government Corruption Widespread
    (news.gallup.com)

  26. Government Rails Site Hit Hours After CVE Patch
    (rietta.com)

  27. Decompiler Explorer
    (dogbolt.org)

  28. Show HN: TERMy – A fast terminal assistant that does not use LLMs
    (github.com)

  29. Icons as a Service
    (nravic.com)

  30. deSEC – Free Secure DNS
    (desec.io)