Hacker News

151.		Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com/schildep)
		45 points by permute 18 hours ago \| hide \| 13 comments
152.		U of T researchers demonstrate AI worm could target any online device (utoronto.ca)
		150 points by shscs911 2 days ago \| hide \| 46 comments
153.		Ask HN: Gin rummy strategies
		23 points by bix6 20 hours ago \| hide \| 4 comments
154.		RAG Without Persona Modeling Fails Patient Clinical Relevance (riddhimohan.com)
		7 points by riddhimohan 14 hours ago \| hide \| 1 comment
155.		Mathematicians issue warning as AI rapidly gains ground (science.org)
		293 points by pseudolus 2 days ago \| hide \| 344 comments
156.		Preparing for KDE Plasma's Last X11-Supported Release (davidedmundson.co.uk)
		236 points by jandeboevrie 3 days ago \| hide \| 372 comments
157.		MacBook Neo is so popular that Apple doubled production (macrumors.com)
		421 points by tosh 1 day ago \| hide \| 493 comments
158.		Show HN: Papernews – self-hosted daily newspaper PDF for your reMarkable (github.com/marcj)
		10 points by bourbonproof 16 hours ago \| hide \| 3 comments
159.		How we index images for RAG (kapa.ai)
		204 points by mooreds 2 days ago \| hide \| 28 comments
160.		Squillions: How money laundering won (lrb.co.uk)
		202 points by rwmj 3 days ago \| hide \| 223 comments
161.		Mornings and nights no longer exist at 47C: A day in the hottest place in India (bbc.co.uk)
		148 points by mellosouls 20 hours ago \| hide \| 128 comments
162.		ISS astronauts in evacuation mode as Russia attempts to fix widening air leak (reuters.com)
		9 points by espenwa 2 hours ago \| hide \| 3 comments
163.		32GB of DDR5 now costs $375 – AI shortage continues to squeeze PC building (tomshardware.com)
		427 points by papersail 2 days ago \| hide \| 386 comments
164.		Stop Killing Games (jxself.org)
		235 points by amcclure 1 day ago \| hide \| 270 comments
165.		HP re-releases classic computer science calculator: The HP-16C (hpcalcs.com)
		214 points by dm319 2 days ago \| hide \| 128 comments
166.		Roku LT Operating System open source distribution (roku.com)
		136 points by dpmdpm 2 days ago \| hide \| 69 comments
167.		Satya Nadella 'Not Sure' Who Said Microsoft Wanted to Make Addictive AI (404media.co)
		22 points by dr_hooo 10 hours ago \| hide \| 6 comments
168.		Stop Ruining It (seths.blog)
		322 points by herbertl 3 days ago \| hide \| 160 comments
169.		A Post-Quantum Future for Let's Encrypt (letsencrypt.org)
		317 points by SGran 2 days ago \| hide \| 165 comments
170.		Fidonet: Technology, Use, Tools, and History (1993) (fidonet.org)
		182 points by BruceEel 3 days ago \| hide \| 89 comments
171.		Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)
		138 points by zvr 2 days ago \| hide \| 79 comments
172.		The Unreasonable Redundancy of Nature's Protein Folds (ligo.bio)
		158 points by ray__ 2 days ago \| hide \| 57 comments
173.		Amazon's New Stargate Series Is Officially Dead (screenrant.com)
		22 points by benkan 9 hours ago \| hide \| 3 comments
174.		'World-first' vaccine designed by artificial intelligence (bbc.com)
		14 points by sizzle 13 hours ago \| hide \| 2 comments
175.		New Texas Instruments 5532 chips are not the 5532s we’ve used for decades (groupdiy.com)
		122 points by SpikedCola 1 day ago \| hide \| 54 comments
176.		Brume is a 24-voice multi-timbral desktop synth for the CM5 (aftertone.co)
		69 points by oceanwaves 1 day ago \| hide \| 33 comments
177.		S&P Global keeps fast index entry rules unchanged as SpaceX listing looms (reuters.com)
		48 points by JumpCrisscross 16 hours ago \| hide \| 5 comments
178.		ESP32-S31 (espressif.com)
		358 points by volemo 2 days ago \| hide \| 197 comments
179.		The Causes of Long Covid (science.org)
		134 points by maxall4 13 hours ago \| hide \| 90 comments
180.		Open Repair Data Standard (openrepair.org)
		161 points by cassepipe 2 days ago \| hide \| 13 comments
		More