Hacker News

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