Hacker News

1.		AI handles incidents, engineers lose touch with their systems (sylvainkalache.com)
		48 points by sylvainkalache 1 hour ago \| hide \| 30 comments
2.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		485 points by negura 11 hours ago \| hide \| 269 comments
3.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1700 points by moultano 21 hours ago \| hide \| 1315 comments
4.		Formalizing Fermat's Last Theorem (anthropic.com)
		610 points by jlebar 14 hours ago \| hide \| 383 comments
5.		Nitter has more working instances than before the takedowns (codeberg.org/mv12star)
		205 points by Cider9986 9 hours ago \| hide \| 70 comments
6.		Statichost.eu – European static site hosting (statichost.eu)
		280 points by p4bl0 12 hours ago \| hide \| 107 comments
7.		GPT-6 Astra on OpenRouter (openrouter.ai)
		217 points by Topfi 11 hours ago \| hide \| 128 comments
8.		GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
		40 points by cebert 5 hours ago \| hide \| 22 comments
9.		Can AI design circuit boards yet? (eebench.org)
		256 points by iopapa 13 hours ago \| hide \| 151 comments
10.		Shutting down our public encrypted DNS (mullvad.net)
		340 points by mywacaday 14 hours ago \| hide \| 155 comments
11.		Git Submodules as a Package Manager (nesbitt.io)
		55 points by ErenayDev 8 hours ago \| hide \| 6 comments
12.		Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
		126 points by cebert 9 hours ago \| hide \| 57 comments
13.		Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
		116 points by nojs 9 hours ago \| hide \| 41 comments
14.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		285 points by stingrae 16 hours ago \| hide \| 102 comments
15.		Can guitar frets perform multiplication? (charlespetzold.com)
		76 points by wibbily 10 hours ago \| hide \| 19 comments
16.		Ask HN: Resources to get good at soldering?
		128 points by tosmatos 15 hours ago \| hide \| 74 comments
17.		Kale: A Transformation-Safe Spreadsheet System (arxiv.org)
		3 points by zdw 1 hour ago \| hide \| discuss
18.		Git hosting that never leaves Europe (pushin.eu)
		67 points by sevenseacat 2 hours ago \| hide \| 47 comments
19.		The Highest Point in the Netherlands (hanazo.no)
		49 points by haasted 6 hours ago \| hide \| 35 comments
20.		Pointing at the error: compiler-style diagnostics in uutils coreutils (uutils.org)
		9 points by ingve 3 hours ago \| hide \| 1 comment
21.		IBM Bob (ibm.com)
		268 points by artpar 20 hours ago \| hide \| 288 comments
22.		An open DNS recursive service for free security and high privacy (quad9.net)
		88 points by mooreds 13 hours ago \| hide \| 25 comments
23.		RSA-260 Factorized (twitter.com/penlume)
		114 points by samyok 11 hours ago \| hide \| 59 comments
24.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		107 points by aaraujo002 14 hours ago \| hide \| 20 comments
25.		The Rust React Compiler is now native in Vite (master.dev)
		137 points by acusti 15 hours ago \| hide \| 31 comments
26.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		93 points by rietta 14 hours ago \| hide \| 29 comments
27.		Decompiler Explorer (dogbolt.org)
		84 points by tripdout 13 hours ago \| hide \| 5 comments
28.		Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)
		412 points by karakoram 11 hours ago \| hide \| 317 comments
29.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		129 points by gioscarab 16 hours ago \| hide \| 35 comments
30.		deSEC – Free Secure DNS (desec.io)
		130 points by gurjeet 17 hours ago \| hide \| 46 comments
		More