Hacker News

1.		A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
		195 points by Narishma 3 hours ago \| hide \| 111 comments
2.		Claude: System Prompts (claude.com)
		426 points by tosh 7 hours ago \| hide \| 185 comments
3.		Protobuf has LSP support. You're welcome (buf.build)
		39 points by theanonymousone 1 hour ago \| hide \| 16 comments
4.		Models Are Getting Dumber on Purpose (w4g1.dev)
		121 points by hruvhwe 1 hour ago \| hide \| 71 comments
5.		The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
		4 points by ghuntley 5 minutes ago \| hide \| discuss
6.		The AI Credit Resale Economy (vectoral.com)
		178 points by mlenhard 5 hours ago \| hide \| 68 comments
7.		St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)
		121 points by toomuchtodo 5 hours ago \| hide \| 82 comments
8.		MathCode, Mathematical Coding Agent (math-ai-org.github.io)
		28 points by homarp 2 hours ago \| hide \| 9 comments
9.		NIH is ending a key grant for budding clinical researchers (science.org)
		104 points by brandonb 4 hours ago \| hide \| 47 comments
10.		Clamiga: Common Lisp for the Amiga (nnamgreb.de)
		59 points by emptybits 6 hours ago \| hide \| 4 comments
11.		Anton Chekhov played at love most of his life (wustl.edu)
		43 points by lermontov 4 hours ago \| hide \| 5 comments
12.		Plastic mechanical computer from 1963: The Digi-Comp 1 [video] (youtube.com)
		25 points by tobr 4 hours ago \| hide \| 6 comments
13.		SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
		8 points by ibobev 1 hour ago \| hide \| discuss
14.		Firefox for iOS now has a native adblocker (support.mozilla.org)
		427 points by pentagrama 7 hours ago \| hide \| 187 comments
15.		Low-Tech Ceramic Water Filter (lowtechlab.org)
		15 points by Bluestein 2 hours ago \| hide \| 5 comments
16.		Tell HN: Cloudflare silently injects its analytics when you switch nameservers
		117 points by stagas 2 hours ago \| hide \| 34 comments
17.		Before Rightmove, there was the Cosmorama (ianvisits.co.uk)
		18 points by brod_ie 4 hours ago \| hide \| 2 comments
18.		Archie G. Norcross' Maine Forest Fire Maps (1918–22) (publicdomainreview.org)
		20 points by samclemens 4 hours ago \| hide \| 3 comments
19.		Tasklet (YC P26) Is Hiring a Head of Design Engineering (tasklet.ai)
		7 hours ago \| hide
20.		The weekend is 100 years old (theguardian.com)
		143 points by lentil_soup 5 hours ago \| hide \| 81 comments
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 \| 34 comments
23.		A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)
		69 points by matt_d 10 hours ago \| hide \| 27 comments
24.		Asus Bike Booster (asus.com)
		584 points by wiradikusuma 21 hours ago \| hide \| 409 comments
25.		ICE Shot a Journalist and Threw Him in Detention. He's Approaching 300 Days (theintercept.com)
		8 points by Jimmc414 39 minutes ago \| hide \| discuss
26.		Research papers using "kidney disappointment" instead of "kidney failure" (scholar.google.com)
		307 points by Alifatisk 8 hours ago \| hide \| 114 comments
27.		The deep history behind the Road to Nowhere inside the Great Smoky Mountains (wunc.org)
		13 points by yareally 4 hours ago \| hide \| 4 comments
28.		Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)
		262 points by pdet 19 hours ago \| hide \| 28 comments
29.		GPS and the Lost Art of Getting Lost (newyorker.com)
		60 points by karakoram 5 hours ago \| hide \| 51 comments
30.		Does anyone run Postgres without PgBouncer? (brandur.org)
		122 points by abelanger 11 hours ago \| hide \| 80 comments
		More