Hacker News

1.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		189 points by negura 3 hours ago \| hide \| 102 comments
2.		Formalizing Fermat's Last Theorem (anthropic.com)
		462 points by jlebar 6 hours ago \| hide \| 306 comments
3.		Statichost.eu – European static site hosting (statichost.eu)
		166 points by p4bl0 4 hours ago \| hide \| 54 comments
4.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1455 points by moultano 13 hours ago \| hide \| 1169 comments
5.		GPT-6 Astra on OpenRouter (openrouter.ai)
		106 points by Topfi 3 hours ago \| hide \| 49 comments
6.		Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
		19 points by nojs 54 minutes ago \| hide \| 4 comments
7.		Can AI design circuit boards yet? (eebench.org)
		149 points by iopapa 5 hours ago \| hide \| 92 comments
8.		Shutting down our public encrypted DNS (mullvad.net)
		238 points by mywacaday 6 hours ago \| hide \| 88 comments
9.		Can guitar frets perform multiplication? (charlespetzold.com)
		23 points by wibbily 2 hours ago \| hide \| 4 comments
10.		RSA-260 Factorized (twitter.com/penlume)
		52 points by samyok 3 hours ago \| hide \| 19 comments
11.		An open DNS recursive service for free security and high privacy (quad9.net)
		61 points by mooreds 4 hours ago \| hide \| 12 comments
12.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		226 points by stingrae 7 hours ago \| hide \| 76 comments
13.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		71 points by rietta 5 hours ago \| hide \| 18 comments
14.		Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)
		146 points by karakoram 2 hours ago \| hide \| 90 comments
15.		Show HN: Moadim.io – A scheduler for agents (moadim.io)
		6 points by tupe12334 1 hour ago \| hide \| discuss
16.		Reversing MikroTik's Silent Patch: The RouterOS 7.23.4 Fix They Wouldn't Explain (npratley.net)
		4 points by ytch 55 minutes ago \| hide \| discuss
17.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		57 points by aaraujo002 6 hours ago \| hide \| 14 comments
18.		The Rust React Compiler is now native in Vite (master.dev)
		110 points by acusti 7 hours ago \| hide \| 21 comments
19.		Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)
		24 points by turtleyacht 3 hours ago \| hide \| discuss
20.		IBM Bob (ibm.com)
		222 points by artpar 12 hours ago \| hide \| 256 comments
21.		Icons as a Service (nravic.com)
		17 points by nravic 3 hours ago \| hide \| discuss
22.		Decompiler Explorer (dogbolt.org)
		31 points by tripdout 5 hours ago \| hide \| 1 comment
23.		Solving the Jane Street reverse engineering challenge (jestoph.com)
		391 points by anitil 14 hours ago \| hide \| 87 comments
24.		Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
		18 points by cebert 1 hour ago \| hide \| 4 comments
25.		deSEC – Free Secure DNS (desec.io)
		110 points by gurjeet 9 hours ago \| hide \| 40 comments
26.		ExactTex. A gradually-typed superset of LaTeX (github.com/camilochs)
		6 points by camilochs 1 hour ago \| hide \| discuss
27.		How to Create a Tor Exit Node (2015) (madpsy.uk)
		37 points by Eridanus2 4 hours ago \| hide \| 18 comments
28.		“Next-token predictor” is the wrong mental model for LLMs (gmcgoldr.github.io)
		75 points by garrinm 7 hours ago \| hide \| 162 comments
29.		Connecting every app to every other app (val.town)
		5 points by Chidiebere229 1 hour ago \| hide \| discuss
30.		Gimlet's Series B (gimletlabs.ai)
		6 points by bigcat12345678 1 hour ago \| hide \| 2 comments
		More