- 412Deutsche Bank becomes first foreign yuan clearing bank in Europe (tradersunion.com)
- 278Principia Mathematica is modern and insightful (okmij.org)
- 355In Australia, a home battery boom has helped cut wholesale power prices (e360.yale.edu)
- 175Worms: The Future of Yesterday's Worms Today (worm.net)
- 39Show HN: Quasicrystals Animation Playground with WebXR (hypnagogic-quasicrystals.github.io)
- 83Ask HN: How do you keep up with HN these days?
- 78The Conceptual Reasoning Index (alignment.anthropic.com)
- 696Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
- 72an ambiguity in C89 which will never be fixed (sebsite.pw)
- 301Tim King, AmigaDOS developer, has died (amiga-news.de)
- 146Stop sending me huge PRs; a rant (getsmall.xyz)
- 46Claude Seems Down
- 5Learn electronics by making your own circuit simulator in Python (spicycircuits.dev)
- 7A.I. Agents Are Taking Online Courses for Cheating Students (nytimes.com)
- 22Oracle – a photorealistic browser for every Magic card ever printed (magic-oracle.com)
- 68Show HN: MCP Memory – Fast Agent Memory Using Google's OKF and SQLite FTS5 (github.com)
- 7Ask HN: Where to learn software engineering fundamentals?
- 17ICTP Announces 2026 Dirac Medal Recipients (Physics) (ictp.it)
- 30Smooth Move: Taming Trajectories with Polynomials (nick.zoic.org)
- 60Come for ENIAC, Stay for UNIVAC and Skeduflo (uniqueatpenn.wordpress.com)
- 236France's top court blocks social media ban for under-15s (reuters.com)
- 198The Human Is the Loop (brentfitzgerald.com)
- 168A shell exclamation mark is not for yelling. Be lazy (refp.se)
- 274US conducted mass spying campaign against leftwing and anti-ICE protesters (theguardian.com)
- 20Who's Tracking You? Use This New Service to Find Out (krebsonsecurity.com)
- 259Single log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes (github.com)
- 42Credibility is the barrier to entry in silicon (siliconimist.com)
- 5Anthropic shares more details about how Claude's new watermarks will work (techcrunch.com)
- 631Grok 4.6 (x.ai)
- 5The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)