1. Actively exploited sandbox RCE in all Chromium versions
    (nvd.nist.gov)

  2. Formalizing Fermat's Last Theorem
    (www.anthropic.com)

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

  4. Discovery of a new OpenAI agent message board
    (collusion.wiki)

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

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

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

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

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

  10. RSA-260 Factorized
    (twitter.com)

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

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

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

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

  15. Show HN: Moadim.io – A scheduler for agents
    (moadim.io)

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

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

  18. Reversing MikroTik's Silent Patch: The RouterOS 7.23.4 Fix They Wouldn't Explain
    (npratley.net)

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

  20. Updates on HEIR, the Homomorphic Encryption Compiler Project
    (www.jeremykun.com)

  21. IBM Bob
    (bob.ibm.com)

  22. Icons as a Service
    (nravic.com)

  23. Solving the Jane Street reverse engineering challenge
    (jestoph.com)

  24. Decompiler Explorer
    (dogbolt.org)

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

  26. ExactTex. A gradually-typed superset of LaTeX
    (github.com)

  27. How to Create a Tor Exit Node (2015)
    (madpsy.uk)

  28. “Next-token predictor” is the wrong mental model for LLMs
    (gmcgoldr.github.io)

  29. Connecting every app to every other app
    (blog.val.town)

  30. Gimlet's Series B
    (gimletlabs.ai)