Hacker News

1.		Formalizing Fermat's Last Theorem (anthropic.com)
		234 points by jlebar 1 hour ago \| hide \| 125 comments
2.		Discovery of a new OpenAI agent message board (collusion.wiki)
		1257 points by moultano 8 hours ago \| hide \| 1019 comments
3.		Shutting down our public encrypted DNS (mullvad.net)
		115 points by mywacaday 1 hour ago \| hide \| 26 comments
4.		Can AI design circuit boards yet? (eebench.org)
		32 points by iopapa 47 minutes ago \| hide \| 19 comments
5.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		149 points by stingrae 3 hours ago \| hide \| 54 comments
6.		Government Rails Site Hit Hours After CVE Patch (rietta.com)
		34 points by rietta 1 hour ago \| hide \| 9 comments
7.		The Rust React Compiler is now native in Vite (master.dev)
		58 points by acusti 2 hours ago \| hide \| 12 comments
8.		An open DNS recursive service for free security and high privacy (quad9.net)
		5 points by mooreds 23 minutes ago \| hide \| discuss
9.		IBM Bob (ibm.com)
		183 points by artpar 7 hours ago \| hide \| 212 comments
10.		deSEC – Free Secure DNS (desec.io)
		75 points by gurjeet 4 hours ago \| hide \| 30 comments
11.		Solving the Jane Street reverse engineering challenge (jestoph.com)
		351 points by anitil 10 hours ago \| hide \| 79 comments
12.		Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
		44 points by qainsights 4 hours ago \| hide \| 24 comments
13.		Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
		195 points by speckx 3 hours ago \| hide \| 110 comments
14.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		56 points by gioscarab 3 hours ago \| hide \| 22 comments
15.		Resources to Get Good at Soldering?
		51 points by tosmatos 2 hours ago \| hide \| 36 comments
16.		Corporate America is getting hooked on open-source AI (nytimes.com)
		207 points by aaraujo002 5 hours ago \| hide \| 190 comments
17.		The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
		91 points by ubolonton_ 8 hours ago \| hide \| 10 comments
18.		Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)
		130 points by palashawas 11 hours ago \| hide \| 47 comments
19.		Deadpan Photography: Enjoying the Pretence (photoni.st)
		6 points by NaOH 1 hour ago \| hide \| 2 comments
20.		"Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
		20 points by garrinm 3 hours ago \| hide \| 61 comments
21.		Getting Started with AT Protocol (bnb.im)
		60 points by evakhoury 6 hours ago \| hide \| 22 comments
22.		People that worked on the same idea for decades (nityasnotes.com)
		29 points by sebg 3 hours ago \| hide \| 15 comments
23.		SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
		8 hours ago \| hide
24.		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		9 points by aaraujo002 1 hour ago \| hide \| 3 comments
25.		Qwen 3.8 27B available on Cerebras at 1500 tokens/s (cerebras.ai)
		673 points by altertable 1 day ago \| hide \| 221 comments
26.		GPT-6 Astra (openai.com)
		2124 points by kibae 1 day ago \| hide \| 1932 comments
27.		Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (millersbookreview.com)
		14 points by benbreen 2 hours ago \| hide \| 4 comments
28.		Google AI Mode shows same products 21.6% more expensive than traditional search (productrise.app)
		339 points by DeepLogin 8 hours ago \| hide \| 70 comments
29.		The largest electric aircraft just flew [video] (youtube.com)
		456 points by feb 1 day ago \| hide \| 341 comments
30.		Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region (github.com/hawshemi)
		51 points by hawshemi 7 hours ago \| hide \| 63 comments
		More