- 1Actively exploited sandbox RCE in all Chromium versions (nist.gov)306 points by negura - 164 comments
- 2Formalizing Fermat's Last Theorem (anthropic.com)525 points by jlebar - 329 comments
- 3Discovery of a new OpenAI agent message board (collusion.wiki)1531 points by moultano - 1225 comments
- 4Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)70 points by nojs - 16 comments
- 5Statichost.eu – European static site hosting (statichost.eu)185 points by p4bl0 - 62 comments
- 6GPT-6 Astra on OpenRouter (openrouter.ai)144 points by Topfi - 75 comments
- 7Can AI design circuit boards yet? (eebench.org)186 points by iopapa - 116 comments
- 8Shutting down our public encrypted DNS (mullvad.net)271 points by mywacaday - 117 comments
- 9Can guitar frets perform multiplication? (charlespetzold.com)42 points by wibbily - 12 comments
- 10Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)51 points by cebert - 20 comments
- 11RSA-260 Factorized (twitter.com/penlume)79 points by samyok - 35 comments
- 12Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)247 points by stingrae - 87 comments
- 13Git Submodules as a Package Manager (nesbitt.io)13 points by ErenayDev - 0 comments
- 14Bugs happen: The easy way to compare solo PQ to ECC+PQ (cr.yp.to)13 points by zdw - 0 comments
- 15Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)248 points by karakoram - 186 comments
- 16An open DNS recursive service for free security and high privacy (quad9.net)68 points by mooreds - 18 comments
- 17Fermat's Last Theorem in Lean 4 (github.com/anthropics)74 points by aaraujo002 - 15 comments
- 18Ask HN: Resources to get good at soldering? 73 points by tosmatos - 53 comments
- 19Government Rails Site Hit Hours After CVE Patch (rietta.com)78 points by rietta - 24 comments
- 20Icons as a Service (nravic.com)29 points by nravic - 2 comments
- 21The Rust React Compiler is now native in Vite (master.dev)121 points by acusti - 24 comments
- 22IBM Bob (ibm.com)235 points by artpar - 270 comments
- 23Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)99 points by gioscarab - 0 comments
- 24Show HN: Moadim.io – A scheduler for agents (moadim.io)19 points by tupe12334 - 10 comments
- 25Decompiler Explorer (dogbolt.org)44 points by tripdout - 0 comments
- 26ExactTex. A gradually-typed superset of LaTeX (github.com/camilochs)20 points by camilochs - 1 comments
- 27Connecting every app to every other app (val.town)18 points by Chidiebere229 - 1 comments
- 28Nitter has more working instances than before the takedowns (codeberg.org/mv12star)23 points by Cider9986 - 8 comments
- 29deSEC – Free Secure DNS (desec.io)120 points by gurjeet - 41 comments
- 30Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)27 points by turtleyacht - 0 comments