Hacker News

121.		Tinkering with J Space (darshanmakwana412.github.io)
		12 points by martianvoid 23 hours ago \| hide \| discuss
122.		Formalizing Fermat's Last Theorem (anthropic.com)
		766 points by jlebar 3 days ago \| hide \| 509 comments
123.		Household Laser Cuts (cceckman.com)
		52 points by evakhoury 1 day ago \| hide \| 18 comments
124.		Hackers have withdrawn ~4k BTC (~$320M) from the Liquid Federation wallet (twitter.com/liquid_btc)
		124 points by felipelalli 1 day ago \| hide \| 82 comments
125.		ChatGPT Was Built on Concealed 'Mass Piracy', Authors Tell Court (torrentfreak.com)
		15 points by franczesko 12 hours ago \| hide \| 9 comments
126.		Nördlinger Ries Impact Crater (wikipedia.org)
		20 points by cromulent 10 hours ago \| hide \| 3 comments
127.		Balrogg: Demonically compacting (up to 15%) lossless Vorbis/Opus recompressor (github.com/iczelia)
		107 points by palaiologos 2 days ago \| hide \| 20 comments
128.		I was able to reduce size of my WASM app by 29.6% (codeberg.page)
		5 points by yhska 14 hours ago \| hide \| discuss
129.		25 years ago, two strangers met in the twin towers and escaped on 9/11 (theguardian.com)
		44 points by ljf 17 hours ago \| hide \| 1 comment
130.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		217 points by gioscarab 3 days ago \| hide \| 45 comments
131.		GPT-6 Astra on OpenRouter (openrouter.ai)
		319 points by Topfi 3 days ago \| hide \| 233 comments
132.		Show HN: Kadō – open-source habit tracker, with non-binary habit score, for iOS (github.com/scastiel)
		78 points by scastiel 1 day ago \| hide \| 32 comments
133.		1% increase in immigration leads to a 1.78%-2.97% increase in Far-Right voting (2024) (sciencedirect.com)
		23 points by cwwc 3 hours ago \| hide \| 6 comments
134.		The "$60 Gaming PC" – AMD BC-250 (2025) (devquasar.com)
		375 points by networked 2 days ago \| hide \| 111 comments
135.		Learn Programming with OCaml (cnrs.fr)
		312 points by elvis70 2 days ago \| hide \| 139 comments
136.		PostgreSQL 19 Interactive Tour (victoriametrics.com)
		70 points by valyala 9 hours ago \| hide \| 20 comments
137.		I'm teaching an introductory 12 week course on Quantum Oracle Engineering (shukla.io)
		67 points by BinRoo 1 day ago \| hide \| 22 comments
138.		Mmuko Boot Sequence – a tiny freestanding C kernel that boots in QEMU (github.com/obinexus)
		12 points by obinexus 21 hours ago \| hide \| 2 comments
139.		What is nueralese and why is it bad (lesswrong.com)
		77 points by tristanMatthias 1 day ago \| hide \| 59 comments
140.		The many mysteries and lessons of the Bayeux tapestry (economist.com)
		64 points by andsoitis 1 day ago \| hide \| 13 comments
141.		Ganon's Mysterious Origins (Revisited) (thrillingtalesofoldvideogames.com)
		30 points by tobr 1 day ago \| hide \| 13 comments
142.		A bizarre Commodore 64 peripheral, a mime, and some pretty bad ads (buttondown.com/suchbadtechads)
		107 points by rfarley04 2 days ago \| hide \| 14 comments
143.		Statichost.eu – European static site hosting (statichost.eu)
		502 points by p4bl0 3 days ago \| hide \| 244 comments
144.		Humpback whales are interrupting orca hunts to rescue different species (spacedaily.com)
		7 points by cobbzilla 9 hours ago \| hide \| discuss
145.		The Rust React Compiler is now native in Vite (master.dev)
		178 points by acusti 3 days ago \| hide \| 55 comments
146.		Git hosting that never leaves Europe (pushin.eu)
		370 points by sevenseacat 2 days ago \| hide \| 169 comments
147.		Shutting down our public encrypted DNS (mullvad.net)
		482 points by mywacaday 3 days ago \| hide \| 260 comments
148.		The Kuycon P20 – 28" 4500x3000px 3:2 monitor (taoofmac.com)
		16 points by zdw 1 day ago \| hide \| 4 comments
149.		US Republicans revolt against Flock AI surveillance as backlash intensifies (ft.com)
		40 points by sbulaev 22 hours ago \| hide \| 4 comments
150.		LLMs as a Cognitive Virus (arxiv.org)
		391 points by canjobear 2 days ago \| hide \| 252 comments
		More