Hacker News

1.		Formalizing Fermat's Last Theorem (anthropic.com)
		336 points by jlebar 3 hours ago \| hide \| 215 comments
2.		Statichost.eu – 100% European static site hosting (statichost.eu)
		64 points by p4bl0 1 hour ago \| hide \| 17 comments
3.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1353 points by moultano 10 hours ago \| hide \| 1099 comments
4.		Can AI design circuit boards yet? (eebench.org)
		78 points by iopapa 2 hours ago \| hide \| 57 comments
5.		Shutting down our public encrypted DNS (mullvad.net)
		171 points by mywacaday 3 hours ago \| hide \| 59 comments
6.		An open DNS recursive service for free security and high privacy (quad9.net)
		27 points by mooreds 1 hour ago \| hide \| 7 comments
7.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		186 points by stingrae 4 hours ago \| hide \| 60 comments
8.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		51 points by rietta 2 hours ago \| hide \| 13 comments
9.		The Rust React Compiler is now native in Vite (master.dev)
		81 points by acusti 4 hours ago \| hide \| 15 comments
10.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		29 points by aaraujo002 3 hours ago \| hide \| 6 comments
11.		deSEC – Free Secure DNS (desec.io)
		90 points by gurjeet 6 hours ago \| hide \| 34 comments
12.		IBM Bob (ibm.com)
		197 points by artpar 9 hours ago \| hide \| 233 comments
13.		How to Create a Tor Exit Node (madpsy.uk)
		17 points by Eridanus2 1 hour ago \| hide \| 12 comments
14.		Solving the Jane Street reverse engineering challenge (jestoph.com)
		363 points by anitil 11 hours ago \| hide \| 82 comments
15.		Fomu An FPGA board that fits inside your USB port (crowdsupply.com)
		11 points by Bluestein 1 hour ago \| hide \| 1 comment
16.		The Wormhole Hall of Shame (rznicolet.com)
		13 points by rznicolet 1 hour ago \| hide \| 8 comments
17.		Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
		267 points by speckx 5 hours ago \| hide \| 151 comments
18.		Deadpan Photography: Enjoying the Pretence (photoni.st)
		17 points by NaOH 2 hours ago \| hide \| 7 comments
19.		Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
		49 points by qainsights 5 hours ago \| hide \| 28 comments
20.		People that worked on the same idea for decades (nityasnotes.com)
		41 points by sebg 4 hours ago \| hide \| 20 comments
21.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		73 points by gioscarab 5 hours ago \| hide \| 25 comments
22.		"Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
		40 points by garrinm 4 hours ago \| hide \| 90 comments
23.		Corporate America is getting hooked on open-source AI (nytimes.com)
		235 points by aaraujo002 6 hours ago \| hide \| 223 comments
24.		Getting Started with AT Protocol (bnb.im)
		70 points by evakhoury 7 hours ago \| hide \| 24 comments
25.		Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)
		135 points by palashawas 12 hours ago \| hide \| 49 comments
26.		SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
		9 hours ago \| hide
27.		The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
		94 points by ubolonton_ 9 hours ago \| hide \| 10 comments
28.		Ok, but does it scale? (spacetimedb.com)
		102 points by theanonymousone 9 hours ago \| hide \| 63 comments
29.		GPT-6 Astra (openai.com)
		2138 points by kibae 1 day ago \| hide \| 1944 comments
30.		Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (millersbookreview.com)
		16 points by benbreen 4 hours ago \| hide \| 3 comments
		More