Hacker News

1.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		587 points by negura 15 hours ago \| hide \| 315 comments
2.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1803 points by moultano 1 day ago \| hide \| 1382 comments
3.		Nitter has more working instances than before the takedowns (codeberg.org/mv12star)
		340 points by Cider9986 13 hours ago \| hide \| 125 comments
4.		Formalizing Fermat's Last Theorem (anthropic.com)
		652 points by jlebar 18 hours ago \| hide \| 412 comments
5.		Statichost.eu – European static site hosting (statichost.eu)
		342 points by p4bl0 16 hours ago \| hide \| 149 comments
6.		Netherlands pulls gold out of the US for fears of 'geopolitical unrest' (abc.net.au)
		100 points by daniel_iversen 3 hours ago \| hide \| 67 comments
7.		AI handles incidents, engineers lose touch with their systems (sylvainkalache.com)
		215 points by sylvainkalache 5 hours ago \| hide \| 197 comments
8.		Kale: A Transformation-Safe Spreadsheet System (arxiv.org)
		29 points by zdw 5 hours ago \| hide \| 10 comments
9.		Sky Map 2000 – Star Atlas and Planetarium (skymap2000.com)
		24 points by m4c-pl 3 hours ago \| hide \| 3 comments
10.		Can AI design circuit boards yet? (eebench.org)
		289 points by iopapa 17 hours ago \| hide \| 169 comments
11.		GPT-6 Astra on OpenRouter (openrouter.ai)
		249 points by Topfi 15 hours ago \| hide \| 160 comments
12.		Terpstra Keyboard (terpstrakeyboard.com)
		7 points by cl3misch 2 hours ago \| hide \| 2 comments
13.		Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
		170 points by cebert 13 hours ago \| hide \| 82 comments
14.		Shutting down our public encrypted DNS (mullvad.net)
		375 points by mywacaday 18 hours ago \| hide \| 173 comments
15.		Ask HN: Resources to get good at soldering?
		159 points by tosmatos 19 hours ago \| hide \| 87 comments
16.		Git Submodules as a Package Manager (nesbitt.io)
		67 points by ErenayDev 12 hours ago \| hide \| 10 comments
17.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		311 points by stingrae 19 hours ago \| hide \| 106 comments
18.		Pointing at the error: compiler-style diagnostics in uutils coreutils (uutils.org)
		26 points by ingve 6 hours ago \| hide \| 2 comments
19.		Can guitar frets perform multiplication? (charlespetzold.com)
		100 points by wibbily 14 hours ago \| hide \| 23 comments
20.		IBM Bob (ibm.com)
		286 points by artpar 1 day ago \| hide \| 301 comments
21.		Git hosting that never leaves Europe (pushin.eu)
		120 points by sevenseacat 6 hours ago \| hide \| 76 comments
22.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		125 points by aaraujo002 18 hours ago \| hide \| 25 comments
23.		Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
		129 points by nojs 13 hours ago \| hide \| 53 comments
24.		The Rust React Compiler is now native in Vite (master.dev)
		152 points by acusti 19 hours ago \| hide \| 39 comments
25.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		155 points by gioscarab 20 hours ago \| hide \| 40 comments
26.		Pushdown automata in statistical machine translation (2014) (acm.org)
		4 points by brandonb 3 hours ago \| hide \| discuss
27.		An open DNS recursive service for free security and high privacy (quad9.net)
		102 points by mooreds 17 hours ago \| hide \| 30 comments
28.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		102 points by rietta 18 hours ago \| hide \| 31 comments
29.		GPT-6 Astra (openai.com)
		2187 points by kibae 1 day ago \| hide \| 2011 comments
30.		GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
		62 points by cebert 9 hours ago \| hide \| 53 comments
		More