Hacker News

1.		A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
		212 points by Narishma 3 hours ago \| hide \| 113 comments
2.		Claude: System Prompts (claude.com)
		431 points by tosh 8 hours ago \| hide \| 189 comments
3.		The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
		11 points by ghuntley 19 minutes ago \| hide \| 2 comments
4.		Models Are Getting Dumber on Purpose (w4g1.dev)
		139 points by hruvhwe 1 hour ago \| hide \| 84 comments
5.		Protobuf has LSP support. You're welcome (buf.build)
		45 points by theanonymousone 2 hours ago \| hide \| 19 comments
6.		The AI Credit Resale Economy (vectoral.com)
		187 points by mlenhard 6 hours ago \| hide \| 69 comments
7.		SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
		12 points by ibobev 2 hours ago \| hide \| discuss
8.		St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)
		125 points by toomuchtodo 5 hours ago \| hide \| 88 comments
9.		MathCode, Mathematical Coding Agent (math-ai-org.github.io)
		30 points by homarp 2 hours ago \| hide \| 9 comments
10.		NIH is ending a key grant for budding clinical researchers (science.org)
		107 points by brandonb 4 hours ago \| hide \| 52 comments
11.		Low-Tech Ceramic Water Filter (lowtechlab.org)
		17 points by Bluestein 2 hours ago \| hide \| 6 comments
12.		Anton Chekhov played at love most of his life (wustl.edu)
		44 points by lermontov 5 hours ago \| hide \| 6 comments
13.		Clamiga: Common Lisp for the Amiga (nnamgreb.de)
		60 points by emptybits 6 hours ago \| hide \| 4 comments
14.		Firefox for iOS now has a native adblocker (support.mozilla.org)
		438 points by pentagrama 8 hours ago \| hide \| 188 comments
15.		Plastic mechanical computer from 1963: The Digi-Comp 1 [video] (youtube.com)
		26 points by tobr 4 hours ago \| hide \| 6 comments
16.		Tell HN: Cloudflare silently injects its analytics when you switch nameservers
		137 points by stagas 3 hours ago \| hide \| 36 comments
17.		Before Rightmove, there was the Cosmorama (ianvisits.co.uk)
		18 points by brod_ie 5 hours ago \| hide \| 2 comments
18.		Archie G. Norcross' Maine Forest Fire Maps (1918–22) (publicdomainreview.org)
		20 points by samclemens 5 hours ago \| hide \| 3 comments
19.		The weekend is 100 years old (theguardian.com)
		145 points by lentil_soup 5 hours ago \| hide \| 82 comments
20.		Tasklet (YC P26) Is Hiring a Head of Design Engineering (tasklet.ai)
		7 hours ago \| hide
21.		A True Telnet BBS on a Casio Calculator (ei3lh.eu)
		68 points by austinallegro 8 hours ago \| hide \| 9 comments
22.		Chestnut – eGPU dock with open-source firmware (hwbusters.com)
		121 points by txrx0000 13 hours ago \| hide \| 35 comments
23.		A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)
		70 points by matt_d 10 hours ago \| hide \| 28 comments
24.		Asus Bike Booster (asus.com)
		585 points by wiradikusuma 21 hours ago \| hide \| 410 comments
25.		The Trumps' Crypto Project Just Got One Step Closer to Becoming a Bank (motherjones.com)
		20 points by rib3ye 1 hour ago \| hide \| 14 comments
26.		Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter (bloomberg.com)
		12 points by zacharyozer 27 minutes ago \| hide \| 2 comments
27.		Research papers using "kidney disappointment" instead of "kidney failure" (scholar.google.com)
		314 points by Alifatisk 8 hours ago \| hide \| 114 comments
28.		GPS and the Lost Art of Getting Lost (newyorker.com)
		61 points by karakoram 6 hours ago \| hide \| 51 comments
29.		Does anyone run Postgres without PgBouncer? (brandur.org)
		124 points by abelanger 11 hours ago \| hide \| 80 comments
30.		The deep history behind the Road to Nowhere inside the Great Smoky Mountains (wunc.org)
		14 points by yareally 4 hours ago \| hide \| 4 comments
		More