Hacker News

1.		The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
		40 points by ghuntley 1 hour ago \| hide \| 26 comments
2.		A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
		251 points by Narishma 4 hours ago \| hide \| 137 comments
3.		Claude: System Prompts (claude.com)
		450 points by tosh 9 hours ago \| hide \| 196 comments
4.		Protobuf has LSP support. You're welcome (buf.build)
		71 points by theanonymousone 3 hours ago \| hide \| 41 comments
5.		SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
		35 points by ibobev 3 hours ago \| hide \| 9 comments
6.		Low-Tech Ceramic Water Filter (lowtechlab.org)
		34 points by Bluestein 3 hours ago \| hide \| 11 comments
7.		Models Are Getting Dumber on Purpose (w4g1.dev)
		180 points by hruvhwe 2 hours ago \| hide \| 111 comments
8.		The AI Credit Resale Economy (vectoral.com)
		191 points by mlenhard 7 hours ago \| hide \| 71 comments
9.		Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter (bloomberg.com)
		55 points by zacharyozer 1 hour ago \| hide \| 37 comments
10.		MathCode, Mathematical Coding Agent (math-ai-org.github.io)
		37 points by homarp 3 hours ago \| hide \| 13 comments
11.		Anton Chekhov played at love most of his life (wustl.edu)
		51 points by lermontov 6 hours ago \| hide \| 8 comments
12.		Clamiga: Common Lisp for the Amiga (nnamgreb.de)
		67 points by emptybits 7 hours ago \| hide \| 6 comments
13.		St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)
		132 points by toomuchtodo 6 hours ago \| hide \| 97 comments
14.		Plastic mechanical computer from 1963: The Digi-Comp 1 [video] (youtube.com)
		32 points by tobr 5 hours ago \| hide \| 7 comments
15.		Firefox for iOS now has a native adblocker (support.mozilla.org)
		462 points by pentagrama 9 hours ago \| hide \| 195 comments
16.		Tell HN: Cloudflare silently injects its analytics when you switch nameservers
		193 points by stagas 4 hours ago \| hide \| 53 comments
17.		Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee (reuters.com)
		16 points by root-parent 52 minutes ago \| hide \| 1 comment
18.		Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast (reuters.com)
		17 points by root-parent 58 minutes ago \| hide \| 11 comments
19.		Claude Seems Down
		5 points by zhan_eg 6 minutes ago \| hide \| 1 comment
20.		Before Rightmove, there was the Cosmorama (ianvisits.co.uk)
		20 points by brod_ie 6 hours ago \| hide \| 2 comments
21.		Tasklet (YC P26) Is Hiring a Head of Design Engineering (tasklet.ai)
		8 hours ago \| hide
22.		Archie G. Norcross' Maine Forest Fire Maps (1918–22) (publicdomainreview.org)
		21 points by samclemens 6 hours ago \| hide \| 3 comments
23.		An open-source, candle-only crypto pump detector–looking for ML contributors (github.com/aleks-ent)
		3 points by alekshenderson 1 hour ago \| hide \| discuss
24.		The weekend is 100 years old (theguardian.com)
		158 points by lentil_soup 6 hours ago \| hide \| 90 comments
25.		A True Telnet BBS on a Casio Calculator (ei3lh.eu)
		74 points by austinallegro 9 hours ago \| hide \| 9 comments
26.		In the Shadow of the (Berlin) Wall (slowtravelberlin.com)
		11 points by yitchelle 1 hour ago \| hide \| 1 comment
27.		Asus Bike Booster (asus.com)
		596 points by wiradikusuma 22 hours ago \| hide \| 418 comments
28.		Chestnut – eGPU dock with open-source firmware (hwbusters.com)
		123 points by txrx0000 14 hours ago \| hide \| 35 comments
29.		The deep history behind the Road to Nowhere inside the Great Smoky Mountains (wunc.org)
		18 points by yareally 5 hours ago \| hide \| 5 comments
30.		A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)
		73 points by matt_d 11 hours ago \| hide \| 32 comments
		More