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