Hacker News

1.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		385 points by negura 7 hours ago \| hide \| 223 comments
2.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1589 points by moultano 17 hours ago \| hide \| 1252 comments
3.		Formalizing Fermat's Last Theorem (anthropic.com)
		565 points by jlebar 11 hours ago \| hide \| 348 comments
4.		Statichost.eu – European static site hosting (statichost.eu)
		208 points by p4bl0 9 hours ago \| hide \| 69 comments
5.		GPT-6 Astra on OpenRouter (openrouter.ai)
		172 points by Topfi 8 hours ago \| hide \| 90 comments
6.		Can AI design circuit boards yet? (eebench.org)
		214 points by iopapa 9 hours ago \| hide \| 133 comments
7.		Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
		91 points by nojs 5 hours ago \| hide \| 28 comments
8.		Git Submodules as a Package Manager (nesbitt.io)
		30 points by ErenayDev 4 hours ago \| hide \| 4 comments
9.		Nitter has more working instances than before the takedowns (codeberg.org/mv12star)
		75 points by Cider9986 5 hours ago \| hide \| 18 comments
10.		Shutting down our public encrypted DNS (mullvad.net)
		305 points by mywacaday 10 hours ago \| hide \| 134 comments
11.		Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
		77 points by cebert 6 hours ago \| hide \| 39 comments
12.		Can guitar frets perform multiplication? (charlespetzold.com)
		54 points by wibbily 7 hours ago \| hide \| 16 comments
13.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		263 points by stingrae 12 hours ago \| hide \| 94 comments
14.		RSA-260 Factorized (twitter.com/penlume)
		97 points by samyok 8 hours ago \| hide \| 43 comments
15.		Ask HN: Resources to get good at soldering?
		97 points by tosmatos 11 hours ago \| hide \| 63 comments
16.		The Highest Point in the Netherlands (hanazo.no)
		11 points by haasted 2 hours ago \| hide \| 4 comments
17.		Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of Britain (wiley.com)
		12 points by bryanrasmussen 3 hours ago \| hide \| 4 comments
18.		An open DNS recursive service for free security and high privacy (quad9.net)
		78 points by mooreds 9 hours ago \| hide \| 19 comments
19.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		82 points by aaraujo002 10 hours ago \| hide \| 17 comments
20.		IBM Bob (ibm.com)
		248 points by artpar 16 hours ago \| hide \| 279 comments
21.		GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
		5 points by cebert 2 hours ago \| hide \| 1 comment
22.		The Rust React Compiler is now native in Vite (master.dev)
		128 points by acusti 11 hours ago \| hide \| 25 comments
23.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		83 points by rietta 10 hours ago \| hide \| 25 comments
24.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		107 points by gioscarab 12 hours ago \| hide \| 30 comments
25.		Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)
		311 points by karakoram 7 hours ago \| hide \| 241 comments
26.		Decompiler Explorer (dogbolt.org)
		58 points by tripdout 9 hours ago \| hide \| 1 comment
27.		Icons as a Service (nravic.com)
		34 points by nravic 7 hours ago \| hide \| 2 comments
28.		ExactTex. A gradually-typed superset of LaTeX (github.com/camilochs)
		25 points by camilochs 6 hours ago \| hide \| 9 comments
29.		Connecting every app to every other app (val.town)
		25 points by Chidiebere229 6 hours ago \| hide \| 2 comments
30.		deSEC – Free Secure DNS (desec.io)
		122 points by gurjeet 14 hours ago \| hide \| 42 comments
		More