• 17 ICTP Announces 2026 Dirac Medal Recipients (Physics) (ictp.it)
  by rramadass 7 days ago | 1 comments
• 72 an ambiguity in C89 which will never be fixed (sebsite.pw)
  by runningmike 7 days ago | 46 comments
• 78 The Conceptual Reasoning Index (alignment.anthropic.com)
  by optimalsolver 3 days ago | 54 comments
• 5 The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)
  by _doctor_love a day ago | discuss
• 9 Show HN: Between Tokens – an interactive piece where you are the language model (chrisjz.github.io)
  by chrisjz a day ago | 3 comments
• 301 Tim King, AmigaDOS developer, has died (amiga-news.de)
  by doener 4 days ago | 39 comments
• 696 Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
  by quantumgarbage 5 days ago | 307 comments
• 30 Smooth Move: Taming Trajectories with Polynomials (nick.zoic.org)
  by lioeters 6 days ago | 1 comments
• 68 Show HN: MCP Memory – Fast Agent Memory Using Google's OKF and SQLite FTS5 (github.com)
  by pcbmaker20 3 days ago | 35 comments
• 60 Come for ENIAC, Stay for UNIVAC and Skeduflo (uniqueatpenn.wordpress.com)
  by cainxinth 5 days ago | 22 comments
• 20 Who's Tracking You? Use This New Service to Find Out (krebsonsecurity.com)
  by DemiGuru 2 days ago | discuss
• 274 US conducted mass spying campaign against leftwing and anti-ICE protesters (theguardian.com)
  by magic_interface 3 days ago | 100 comments
• 10 Awesome CAD – Curated List of Open-Source CAD Projects (github.com)
  by peter_d_sherman a day ago | discuss
• 6 AI text watermarking is not a big deal (seangoedecke.com)
  by meetpateltech 13 hours ago | discuss
• 197 The Human Is the Loop (brentfitzgerald.com)
  by burnto 5 days ago | 89 comments
• 259 Single log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes (github.com)
  by ValdikSS 3 days ago | 222 comments
• 168 A shell exclamation mark is not for yelling. Be lazy (refp.se)
  by refp 10 days ago | 78 comments
• 42 Credibility is the barrier to entry in silicon (siliconimist.com)
  by johncole 6 days ago | 25 comments
• 170 Engineers will do anything to avoid learning from history (horn.gg)
  by madrox a day ago | 110 comments
• 56 Geek Fighter – 2d fighter game (geek-fighter.vercel.app)
  by tareqismail 6 days ago | 30 comments
• 72 I want extern "fil-C" (domenkozar.com)
  by domenkozar 3 days ago | 39 comments
• 631 Grok 4.6 (x.ai)
  by iLuddite 4 days ago | 614 comments
• 8 DeepSeek V4 Flash at 278 tok/s, full precision, no quantization (runinfra.ai)
  by OsamaJaber a day ago | 4 comments
• 125 How Organizations Use AI: Evidence from ChatGPT [pdf] (cdn.openai.com)
  by malshe 3 days ago | 111 comments
• 6 Russian missile uses Nvidia AI chip to help target Ukraine (theregister.com)
  by 2OEH8eoCRo0 4 hours ago | discuss
• 21 The Soviets Drilled the Deepest Hole Ever (nautil.us)
  by anarbadalov 2 days ago | 4 comments
• 11 Triple Product Rule of Partial Derivatives (en.wikipedia.org)
  by srean a day ago | 2 comments
• 439 Go is an ideal language for AI-assisted software engineering (developers.googleblog.com)
  by 0xedb 5 days ago | 540 comments
• 27 Show HN: Rdio – an open-source internet radio control suite (rdio-docs.vercel.app)
  by taqibrahim 2 days ago | 4 comments
• 32 A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
  by theanonymousone a day ago | 7 comments