1. Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
    338 points by negura about 7 hours | 190 comments
  2. Formalizing Fermat's Last Theorem (www.anthropic.com)
    540 points by jlebar about 10 hours | 336 comments
  3. Discovery of a new OpenAI agent message board (collusion.wiki)
    1551 points by moultano about 16 hours | 1234 comments
  4. Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
    80 points by nojs about 4 hours | 21 comments
  5. Statichost.eu – European static site hosting (www.statichost.eu)
    191 points by p4bl0 about 8 hours | 64 comments
  6. GPT-6 Astra on OpenRouter (openrouter.ai)
    154 points by Topfi about 7 hours | 80 comments
  7. Can AI design circuit boards yet? (eebench.org)
    192 points by iopapa about 9 hours | 126 comments
  8. Shutting down our public encrypted DNS (mullvad.net)
    284 points by mywacaday about 10 hours | 127 comments
  9. Can guitar frets perform multiplication? (www.charlespetzold.com)
    44 points by wibbily about 6 hours | 12 comments
  10. Git Submodules as a Package Manager (nesbitt.io)
    17 points by ErenayDev 4 days | 3 comments
  11. Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)
    58 points by cebert about 5 hours | 26 comments
  12. Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
    252 points by stingrae about 11 hours | 89 comments
  13. RSA-260 Factorized (twitter.com)
    81 points by samyok 2 days | 38 comments
  14. Ask HN: Resources to get good at soldering?
    76 points by tosmatos 3 days | 55 comments
  15. An open DNS recursive service for free security and high privacy (quad9.net)
    70 points by mooreds about 8 hours | 19 comments
  16. Fermat's Last Theorem in Lean 4 (github.com)
    80 points by aaraujo002 about 9 hours | 15 comments
  17. Government Rails Site Hit Hours After CVE Patch (rietta.com)
    80 points by rietta about 9 hours | 24 comments
  18. Bugs happen: The easy way to compare solo PQ to ECC+PQ (blog.cr.yp.to)
    15 points by zdw 3 days | 5 comments
  19. Decompiler Explorer (dogbolt.org)
    50 points by tripdout 3 days | 1 comments
  20. The Rust React Compiler is now native in Vite (blog.master.dev)
    124 points by acusti about 11 hours | 24 comments
  21. IBM Bob (bob.ibm.com)
    241 points by artpar about 16 hours | 278 comments
  22. Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
    272 points by karakoram about 6 hours | 204 comments
  23. Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
    102 points by gioscarab about 19 hours | 29 comments
  24. Icons as a Service (nravic.com)
    31 points by nravic about 7 hours | 2 comments
  25. ExactTex. A gradually-typed superset of LaTeX (github.com)
    22 points by camilochs 4 days | 3 comments
  26. Connecting every app to every other app (blog.val.town)
    21 points by Chidiebere229 about 5 hours | 2 comments
  27. Show HN: Moadim.io – A scheduler for agents (moadim.io)
    20 points by tupe12334 about 5 hours | 11 comments
  28. deSEC – Free Secure DNS (desec.io)
    122 points by gurjeet about 13 hours | 42 comments
  29. Nitter has more working instances than before the takedowns (codeberg.org)
    38 points by Cider9986 about 4 hours | 11 comments
  30. Updates on HEIR, the Homomorphic Encryption Compiler Project (www.jeremykun.com)
    31 points by turtleyacht about 7 hours | discuss
More