- 83Ask HN: How do you keep up with HN these days?
- 278Principia Mathematica is modern and insightful (okmij.org)
- 5Learn electronics by making your own circuit simulator in Python (spicycircuits.dev)
- 354In Australia, a home battery boom has helped cut wholesale power prices (e360.yale.edu)
- 175Worms: The Future of Yesterday's Worms Today (worm.net)
- 146Stop sending me huge PRs; a rant (getsmall.xyz)
- 72an ambiguity in C89 which will never be fixed (sebsite.pw)
- 78The Conceptual Reasoning Index (alignment.anthropic.com)
- 236France's top court blocks social media ban for under-15s (reuters.com)
- 17ICTP Announces 2026 Dirac Medal Recipients (Physics) (ictp.it)
- 696Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
- 301Tim King, AmigaDOS developer, has died (amiga-news.de)
- 68Show HN: MCP Memory – Fast Agent Memory Using Google's OKF and SQLite FTS5 (github.com)
- 30Smooth Move: Taming Trajectories with Polynomials (nick.zoic.org)
- 60Come for ENIAC, Stay for UNIVAC and Skeduflo (uniqueatpenn.wordpress.com)
- 20Who's Tracking You? Use This New Service to Find Out (krebsonsecurity.com)
- 274US conducted mass spying campaign against leftwing and anti-ICE protesters (theguardian.com)
- 197The Human Is the Loop (brentfitzgerald.com)
- 5The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)
- 9Show HN: Between Tokens – an interactive piece where you are the language model (chrisjz.github.io)
- 168A shell exclamation mark is not for yelling. Be lazy (refp.se)
- 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)
- 10Awesome CAD – Curated List of Open-Source CAD Projects (github.com)
- 631Grok 4.6 (x.ai)
- 72I want extern "fil-C" (domenkozar.com)
- 125How Organizations Use AI: Evidence from ChatGPT [pdf] (cdn.openai.com)
- 170Engineers will do anything to avoid learning from history (horn.gg)
- 57Geek Fighter – 2d fighter game (geek-fighter.vercel.app)
- 439Go is an ideal language for AI-assisted software engineering (developers.googleblog.com)