Hacker News with Generative AI

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
Claude: System Prompts (claude.com)
SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
A quick look at zero-knowledge proofs (bernsteinbear.com)
Low-Tech Ceramic Water Filter (lowtechlab.org)
Models Are Getting Dumber on Purpose (w4g1.dev)
Protobuf has LSP support. You're welcome (buf.build)
Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter (bloomberg.com)
The AI Credit Resale Economy (vectoral.com)
Anthropic's 'Watermark' Text Adulteration in Claude Is a Perversion of Writing (daringfireball.net)
MathCode, Mathematical Coding Agent (math-ai-org.github.io)
Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee (reuters.com)
Anton Chekhov played at love most of his life (commonreader.wustl.edu)
Clamiga: Common Lisp for the Amiga (nnamgreb.de)
Plastic mechanical computer from 1963: The Digi-Comp 1 [video] (youtube.com)
The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
Firefox for iOS now has a native adblocker (mozilla.org)
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)
Tell HN: Cloudflare silently injects its analytics when you switch nameservers (ycombinator.com)
2,085 Tests, and None of Them Opens the Front Door (brandanthonymcdonald.com)
Asus Bike Booster (asus.com)
A True Telnet BBS on a Casio Calculator (ei3lh.eu)
Before Rightmove, there was the Cosmorama (ianvisits.co.uk)
A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)
NIH is ending a key grant for budding clinical researchers (science.org)
Archie G. Norcross' Maine Forest Fire Maps (1918–22) (publicdomainreview.org)
Chestnut – eGPU dock with open-source firmware (hwbusters.com)
Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)
Does anyone run Postgres without PgBouncer? (brandur.org)