- 33 The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
- 242 A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
- 447 Claude: System Prompts (platform.claude.com)
- 66 Protobuf has LSP support. You're welcome (buf.build)
- 34 SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
- 32 Low-Tech Ceramic Water Filter (wiki.lowtechlab.org)
- 191 The AI Credit Resale Economy (vectoral.com)
- 169 Models Are Getting Dumber on Purpose (w4g1.dev)
- 36 MathCode, Mathematical Coding Agent (math-ai-org.github.io)
- 42 Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter (bloomberg.com)
- 49 Anton Chekhov played at love most of his life (commonreader.wustl.edu)
- 131 St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)
- 65 Clamiga: Common Lisp for the Amiga (nnamgreb.de)
- 30 Plastic mechanical computer from 1963: The Digi-Comp 1 [video] (youtube.com)
- 458 Firefox for iOS now has a native adblocker (support.mozilla.org)
- 179 Tell HN: Cloudflare silently injects its analytics when you switch nameservers ()
- 12 Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast (reuters.com)
- 10 Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee (reuters.com)
- 20 Before Rightmove, there was the Cosmorama (ianvisits.co.uk)
- Tasklet (YC P26) Is Hiring a Head of Design Engineering (tasklet.ai)
job - 21 Archie G. Norcross' Maine Forest Fire Maps (1918–22) (publicdomainreview.org)
- 7 In the Shadow of the (Berlin) Wall (slowtravelberlin.com)
- 155 The weekend is 100 years old (theguardian.com)
- 74 A True Telnet BBS on a Casio Calculator (ei3lh.eu)
- 594 Asus Bike Booster (asus.com)
- 123 Chestnut – eGPU dock with open-source firmware (hwbusters.com)
- 116 NIH is ending a key grant for budding clinical researchers (science.org)
- 72 A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)
- 17 The deep history behind the Road to Nowhere inside the Great Smoky Mountains (wunc.org)
- 340 Research papers using "kidney disappointment" instead of "kidney failure" (scholar.google.com)