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