Hacker News

1.		Formalizing Fermat's Last Theorem (anthropic.com)
		367 points by jlebar 3 hours ago \| hide \| 239 comments
2.		Statichost.eu – 100% European static site hosting (statichost.eu)
		96 points by p4bl0 1 hour ago \| hide \| 28 comments
3.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		29 points by negura 33 minutes ago \| hide \| 3 comments
4.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1377 points by moultano 10 hours ago \| hide \| 1111 comments
5.		Can AI design circuit boards yet? (eebench.org)
		98 points by iopapa 2 hours ago \| hide \| 66 comments
6.		Shutting down our public encrypted DNS (mullvad.net)
		185 points by mywacaday 3 hours ago \| hide \| 69 comments
7.		GPT-6 Astra on OpenRouter (openrouter.ai)
		21 points by Topfi 46 minutes ago \| hide \| 10 comments
8.		An open DNS recursive service for free security and high privacy (quad9.net)
		33 points by mooreds 2 hours ago \| hide \| 7 comments
9.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		195 points by stingrae 5 hours ago \| hide \| 64 comments
10.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		56 points by rietta 3 hours ago \| hide \| 12 comments
11.		The Rust React Compiler is now native in Vite (master.dev)
		88 points by acusti 4 hours ago \| hide \| 17 comments
12.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		37 points by aaraujo002 3 hours ago \| hide \| 8 comments
13.		How to Create a Tor Exit Node (madpsy.uk)
		21 points by Eridanus2 2 hours ago \| hide \| 15 comments
14.		IBM Bob (ibm.com)
		204 points by artpar 9 hours ago \| hide \| 239 comments
15.		deSEC – Free Secure DNS (desec.io)
		93 points by gurjeet 6 hours ago \| hide \| 36 comments
16.		The Wormhole Hall of Shame (rznicolet.com)
		16 points by rznicolet 2 hours ago \| hide \| 8 comments
17.		Solving the Jane Street reverse engineering challenge (jestoph.com)
		366 points by anitil 12 hours ago \| hide \| 82 comments
18.		Fomu An FPGA board that fits inside your USB port (crowdsupply.com)
		16 points by Bluestein 1 hour ago \| hide \| 4 comments
19.		Some more thoughts on random_page_cost (vondra.me)
		4 points by blueshoess 1 hour ago \| hide \| discuss
20.		Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)
		4 points by turtleyacht 1 hour ago \| hide \| discuss
21.		Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
		54 points by qainsights 6 hours ago \| hide \| 28 comments
22.		Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
		280 points by speckx 5 hours ago \| hide \| 168 comments
23.		Deadpan Photography: Enjoying the Pretence (photoni.st)
		20 points by NaOH 3 hours ago \| hide \| 11 comments
24.		Icons as a Service (nravic.com)
		3 points by nravic 40 minutes ago \| hide \| discuss
25.		People that worked on the same idea for decades (nityasnotes.com)
		46 points by sebg 5 hours ago \| hide \| 22 comments
26.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		79 points by gioscarab 5 hours ago \| hide \| 25 comments
27.		SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
		10 hours ago \| hide
28.		"Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
		43 points by garrinm 5 hours ago \| hide \| 99 comments
29.		Corporate America is getting hooked on open-source AI (nytimes.com)
		246 points by aaraujo002 6 hours ago \| hide \| 229 comments
30.		Getting Started with AT Protocol (bnb.im)
		71 points by evakhoury 7 hours ago \| hide \| 24 comments
		More