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