• 219 Ten advances in mathematics and theoretical computer science (openai.com)
  by milkshakes 3 hours ago | 482 comments
• 364 Devtools must be open source (blog.exe.dev)
  by bryanmikaelian 6 hours ago | 133 comments
• 259 Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)
  by just_some_user 7 hours ago | 156 comments
• 73 Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)
  by roryirvine 3 hours ago | 24 comments
• 201 MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (blog.comfy.org)
  by vblanco 6 hours ago | 58 comments
• 42 Smaller, faster, safer: running Kimi and GLM at scale (blog.cloudflare.com)
  by ascorbic 3 hours ago | 9 comments
• 194 Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)
  by nikolay_sivko 6 hours ago | 44 comments
• 52 Massively Parallel Postgres Backups (planetscale.com)
  by ksec 3 days ago | 1 comments
• 126 How Hollywood stopped making movies in Hollywood (statsignificant.com)
  by speckx 6 days ago | 122 comments
• 29 Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)
  by BenceRed 3 hours ago | 34 comments
• 23 The Potomac River Midair Collision (admiralcloudberg.medium.com)
  by mplanchard 8 hours ago | 2 comments
• 21 The Billable Usage API: programmatic cost visibility for Cloudflare (blog.cloudflare.com)
  by ashleypeacock 3 hours ago | 4 comments
• 15 Kelly Criterion Simulator (kellysimulator.com)
  by aleyan 3 days ago | 4 comments
• 154 AirLLM 70B inference with single 4GB GPU (github.com)
  by Anon84 9 hours ago | 56 comments
• 30 Use Task Runners for Common Coding Tasks (hamvocke.com)
  by speckx 3 hours ago | 8 comments
• 253 Bonsai: Janestreet's UI Library (github.com)
  by KolmogorovComp 11 hours ago | 95 comments
• 25 Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)
  by screm 4 hours ago | 1 comments
• 1562 Don't be a meat proxy (gruhn.me)
  by ngruhn 13 hours ago | 647 comments
• 32 SearXNG in Rust (github.com)
  by dluuuu 3 hours ago | 13 comments
• 673 SQLite Critical CVEs or LLM Slop? (research.jfrog.com)
  by ymir_e 8 hours ago | 315 comments
• 36 SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)
  by meysamazad 6 hours ago | 8 comments
• 318 Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
  by mpweiher 10 hours ago | 268 comments
• 33 C++ float-to-int conversion can be undefined behavior (kttnr.net)
  by signa11 4 days ago | 33 comments
• 16 Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)
  by peter_d_sherman 4 hours ago | 5 comments
• 209 Rust project goals: Immobile types and guaranteed destructors (github.com)
  by paavohtl 13 hours ago | 83 comments
• 24 Kraid is a now a real compiler (collabora.com)
  by losgehts 4 days ago | 7 comments
• 998 Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)
  by ai2027 18 hours ago | 534 comments
• 112 What DMARC Protects You From, and What It Does Not (senderledger.com)
  by adulion 10 hours ago | 29 comments
• 90 Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com)
  by NickySlicks 9 hours ago | 29 comments
• 4 ZX Spectrum System Tour: Sound (bumbershootsoft.wordpress.com)
  by ibobev an hour ago | discuss