Hacker News

1.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		150 points by negura 2 hours ago \| hide \| 67 comments
2.		Formalizing Fermat's Last Theorem (anthropic.com)
		446 points by jlebar 5 hours ago \| hide \| 296 comments
3.		Statichost.eu – European static site hosting (statichost.eu)
		148 points by p4bl0 3 hours ago \| hide \| 52 comments
4.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1441 points by moultano 12 hours ago \| hide \| 1157 comments
5.		GPT-6 Astra on OpenRouter (openrouter.ai)
		87 points by Topfi 2 hours ago \| hide \| 38 comments
6.		Can AI design circuit boards yet? (eebench.org)
		142 points by iopapa 4 hours ago \| hide \| 80 comments
7.		Shutting down our public encrypted DNS (mullvad.net)
		229 points by mywacaday 5 hours ago \| hide \| 84 comments
8.		Can guitar frets perform multiplication? (charlespetzold.com)
		18 points by wibbily 1 hour ago \| hide \| 1 comment
9.		RSA-260 Factorized (twitter.com/penlume)
		50 points by samyok 2 hours ago \| hide \| 14 comments
10.		An open DNS recursive service for free security and high privacy (quad9.net)
		59 points by mooreds 4 hours ago \| hide \| 10 comments
11.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		220 points by stingrae 7 hours ago \| hide \| 75 comments
12.		Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)
		124 points by karakoram 2 hours ago \| hide \| 66 comments
13.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		67 points by rietta 5 hours ago \| hide \| 17 comments
14.		Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
		9 points by cebert 41 minutes ago \| hide \| discuss
15.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		53 points by aaraujo002 5 hours ago \| hide \| 11 comments
16.		The Rust React Compiler is now native in Vite (master.dev)
		106 points by acusti 6 hours ago \| hide \| 19 comments
17.		Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)
		20 points by turtleyacht 2 hours ago \| hide \| discuss
18.		Show HN: Moadim.io – A scheduler for agents (moadim.io)
		3 points by tupe12334 29 minutes ago \| hide \| discuss
19.		Decompiler Explorer (dogbolt.org)
		30 points by tripdout 4 hours ago \| hide \| 1 comment
20.		IBM Bob (ibm.com)
		218 points by artpar 11 hours ago \| hide \| 254 comments
21.		Solving the Jane Street reverse engineering challenge (jestoph.com)
		388 points by anitil 14 hours ago \| hide \| 86 comments
22.		Gimlet's Series B (gimletlabs.ai)
		6 points by bigcat12345678 1 hour ago \| hide \| 2 comments
23.		deSEC – Free Secure DNS (desec.io)
		108 points by gurjeet 8 hours ago \| hide \| 40 comments
24.		Icons as a Service (nravic.com)
		14 points by nravic 2 hours ago \| hide \| discuss
25.		How to Create a Tor Exit Node (2015) (madpsy.uk)
		35 points by Eridanus2 4 hours ago \| hide \| 18 comments
26.		“Next-token predictor” is the wrong mental model for LLMs (gmcgoldr.github.io)
		71 points by garrinm 7 hours ago \| hide \| 157 comments
27.		Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
		322 points by speckx 7 hours ago \| hide \| 199 comments
28.		Christmas Village shoppers no longer will be allowed to enter booths (phillyvoice.com)
		10 points by josephcsible 1 hour ago \| hide \| 8 comments
29.		SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
		12 hours ago \| hide
30.		The Wormhole Hall of Shame (rznicolet.com)
		26 points by rznicolet 4 hours ago \| hide \| 11 comments
		More