Hacker News

1.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		282 points by negura 5 hours ago \| hide \| 158 comments
2.		Formalizing Fermat's Last Theorem (anthropic.com)
		516 points by jlebar 8 hours ago \| hide \| 325 comments
3.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1511 points by moultano 15 hours ago \| hide \| 1203 comments
4.		Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
		61 points by nojs 2 hours ago \| hide \| 16 comments
5.		Statichost.eu – European static site hosting (statichost.eu)
		180 points by p4bl0 6 hours ago \| hide \| 61 comments
6.		GPT-6 Astra on OpenRouter (openrouter.ai)
		137 points by Topfi 5 hours ago \| hide \| 73 comments
7.		Shutting down our public encrypted DNS (mullvad.net)
		264 points by mywacaday 8 hours ago \| hide \| 108 comments
8.		Can AI design circuit boards yet? (eebench.org)
		180 points by iopapa 7 hours ago \| hide \| 116 comments
9.		Can guitar frets perform multiplication? (charlespetzold.com)
		40 points by wibbily 4 hours ago \| hide \| 10 comments
10.		Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
		44 points by cebert 3 hours ago \| hide \| 17 comments
11.		RSA-260 Factorized (twitter.com/penlume)
		69 points by samyok 5 hours ago \| hide \| 31 comments
12.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		241 points by stingrae 9 hours ago \| hide \| 84 comments
13.		Git Submodules as a Package Manager (nesbitt.io)
		7 points by ErenayDev 1 hour ago \| hide \| discuss
14.		An open DNS recursive service for free security and high privacy (quad9.net)
		67 points by mooreds 6 hours ago \| hide \| 16 comments
15.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		72 points by aaraujo002 8 hours ago \| hide \| 15 comments
16.		Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)
		229 points by karakoram 4 hours ago \| hide \| 168 comments
17.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		77 points by rietta 7 hours ago \| hide \| 24 comments
18.		ExactTex. A gradually-typed superset of LaTeX (github.com/camilochs)
		19 points by camilochs 3 hours ago \| hide \| 1 comment
19.		Show HN: Moadim.io – A scheduler for agents (moadim.io)
		16 points by tupe12334 3 hours ago \| hide \| 9 comments
20.		The Rust React Compiler is now native in Vite (master.dev)
		117 points by acusti 9 hours ago \| hide \| 22 comments
21.		When declaring an incident becomes everyone's favorite workaround (greatcircle.com)
		15 points by bobbiechen 2 hours ago \| hide \| 5 comments
22.		Icons as a Service (nravic.com)
		27 points by nravic 5 hours ago \| hide \| 2 comments
23.		Connecting every app to every other app (val.town)
		17 points by Chidiebere229 3 hours ago \| hide \| 1 comment
24.		IBM Bob (ibm.com)
		233 points by artpar 14 hours ago \| hide \| 270 comments
25.		Decompiler Explorer (dogbolt.org)
		41 points by tripdout 7 hours ago \| hide \| 1 comment
26.		deSEC – Free Secure DNS (desec.io)
		116 points by gurjeet 11 hours ago \| hide \| 41 comments
27.		How to Create a Tor Exit Node (2015) (madpsy.uk)
		44 points by Eridanus2 6 hours ago \| hide \| 19 comments
28.		Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)
		25 points by turtleyacht 5 hours ago \| hide \| discuss
29.		“Next-token predictor” is the wrong mental model for LLMs (gmcgoldr.github.io)
		91 points by garrinm 9 hours ago \| hide \| 195 comments
30.		Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
		359 points by speckx 10 hours ago \| hide \| 212 comments
		More