Hacker News

181.		Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com/schildep)
		45 points by permute 20 hours ago \| hide \| 14 comments
182.		A Post-Quantum Future for Let's Encrypt (letsencrypt.org)
		317 points by SGran 2 days ago \| hide \| 165 comments
183.		The Unreasonable Redundancy of Nature's Protein Folds (ligo.bio)
		158 points by ray__ 2 days ago \| hide \| 57 comments
184.		Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)
		138 points by zvr 2 days ago \| hide \| 79 comments
185.		What to Expect from Apple's AI, Siri and iOS 27 Launch at WWDC (bloomberg.com)
		4 points by brandonb 5 hours ago \| hide \| 1 comment
186.		Meta Silently Added Face-Recognition for Its Smart Glasses to Phones (wired.com)
		31 points by thm 14 hours ago \| hide \| 12 comments
187.		Mornings and nights no longer exist at 47C: A day in the hottest place in India (bbc.co.uk)
		148 points by mellosouls 22 hours ago \| hide \| 128 comments
188.		New Texas Instruments 5532 chips are not the 5532s we’ve used for decades (groupdiy.com)
		122 points by SpikedCola 2 days ago \| hide \| 54 comments
189.		Show HN: Papernews – self-hosted daily newspaper PDF for your reMarkable (github.com/marcj)
		10 points by bourbonproof 19 hours ago \| hide \| 3 comments
190.		RAG Without Persona Modeling Fails Patient Clinical Relevance (riddhimohan.com)
		7 points by riddhimohan 16 hours ago \| hide \| 1 comment
191.		Brume is a 24-voice multi-timbral desktop synth for the CM5 (aftertone.co)
		69 points by oceanwaves 1 day ago \| hide \| 33 comments
192.		Open Repair Data Standard (openrepair.org)
		161 points by cassepipe 2 days ago \| hide \| 13 comments
193.		MAI-Code-1-Flash (microsoft.ai)
		539 points by EvanZhouDev 2 days ago \| hide \| 253 comments
194.		ESP32-S31 (espressif.com)
		358 points by volemo 2 days ago \| hide \| 197 comments
195.		Show HN: Eyeball (rory.codes)
		291 points by mrroryflint 3 days ago \| hide \| 88 comments
196.		Use your Nvidia GPU's VRAM as swap space on Linux (github.com/c0dejedi)
		465 points by tanelpoder 2 days ago \| hide \| 124 comments
197.		Capstone – multi-platform, multi-architecture disassembly framework (capstone-engine.org)
		113 points by gregsadetsky 2 days ago \| hide \| 5 comments
198.		Age verification for social media, the beginning of the end for a free internet? (mullvad.net)
		584 points by StrLght 3 days ago \| hide \| 522 comments
199.		Trump signs downsized AI order after weeks of reversals (politico.com)
		238 points by _alternator_ 3 days ago \| hide \| 172 comments
200.		S&P Global keeps fast index entry rules unchanged as SpaceX listing looms (reuters.com)
		49 points by JumpCrisscross 18 hours ago \| hide \| 5 comments
201.		Adafruit receives demand letter from Fenwick legal counsel on behalf of Flux.ai (adafruit.com)
		678 points by semanser 3 days ago \| hide \| 282 comments
202.		Ask HN: Is Azure capacity this constraind or am I doing it wrong?
		9 points by lanycrost 7 hours ago \| hide \| 12 comments
203.		'World-first' vaccine designed by artificial intelligence (bbc.com)
		14 points by sizzle 15 hours ago \| hide \| 2 comments
204.		Satya Nadella 'Not Sure' Who Said Microsoft Wanted to Make Addictive AI (404media.co)
		22 points by dr_hooo 12 hours ago \| hide \| 6 comments
205.		GitHubDesktopPlus: Fork of GitHub Desktop for alt. git hosts & better UX (github.com/pol-rivero)
		6 points by xeonmc 23 hours ago \| hide \| discuss
206.		Show HN: Nutrepedia – Nutrition info in 29 locales built with Clojure and Htmx (nutrepedia.com)
		132 points by llovan 2 days ago \| hide \| 29 comments
207.		Amazon's New Stargate Series Is Officially Dead (screenrant.com)
		22 points by benkan 11 hours ago \| hide \| 3 comments
208.		My thoughts after using Clojure for about a month (acdw.net)
		317 points by speckx 2 days ago \| hide \| 187 comments
209.		What appear to be biochemical processes may be a natural feature of geology (quantamagazine.org)
		270 points by speckx 4 days ago \| hide \| 111 comments
210.		Show HN: I embedded 685M public texts in 32 minutes (on 8x A100, Rust, TensorRT) (github.com/artain-ai)
		6 points by ddayanov 19 hours ago \| hide \| discuss
		More