- 28The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
- 237A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
- 443Claude: System Prompts (platform.claude.com)
- 62Protobuf has LSP support. You're welcome (buf.build)
- 27SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
- 29Low-Tech Ceramic Water Filter (wiki.lowtechlab.org)
- 189The AI Credit Resale Economy (vectoral.com)
- 33MathCode, Mathematical Coding Agent (math-ai-org.github.io)
- 162Models Are Getting Dumber on Purpose (w4g1.dev)
- 128St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)
- 64Clamiga: Common Lisp for the Amiga (nnamgreb.de)
- 30Plastic mechanical computer from 1963: The Digi-Comp 1 [video] (youtube.com)
- 46Anton Chekhov played at love most of his life (commonreader.wustl.edu)
- 29Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter (bloomberg.com)
- 453Firefox for iOS now has a native adblocker (support.mozilla.org)
- 163Tell HN: Cloudflare silently injects its analytics when you switch nameservers
- 116NIH is ending a key grant for budding clinical researchers (science.org)
- 4In the Shadow of the (Berlin) Wall (slowtravelberlin.com)
- 19Before Rightmove, there was the Cosmorama (ianvisits.co.uk)
- Tasklet (YC P26) Is Hiring a Head of Design Engineering (tasklet.ai)
job - 21Archie G. Norcross' Maine Forest Fire Maps (1918–22) (publicdomainreview.org)
- 150The weekend is 100 years old (theguardian.com)
- 73A True Telnet BBS on a Casio Calculator (ei3lh.eu)
- 123Chestnut – eGPU dock with open-source firmware (hwbusters.com)
- 589Asus Bike Booster (asus.com)
- 17The deep history behind the Road to Nowhere inside the Great Smoky Mountains (wunc.org)
- 72A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)
- 333Research papers using "kidney disappointment" instead of "kidney failure" (scholar.google.com)
- 265Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)
- 64GPS and the Lost Art of Getting Lost (newyorker.com)