• Ten advances in mathematics and theoretical computer science

  214 points by milkshakes 3 hours | hide | 56 comments
• Devtools must be open source

  362 points by bryanmikaelian 5 hours | hide | 38 comments
• Wind and solar overtake fossil fuels in Germany for the first time

  254 points by just_some_user 6 hours | hide | 17 comments
• Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years

  73 points by roryirvine 2 hours | hide | 10 comments
• MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video

  200 points by vblanco 6 hours | hide | 12 comments
• Smaller, faster, safer: running Kimi and GLM at scale

  41 points by ascorbic 2 hours | hide | 2 comments
• Andy Pavlo joins ClickHouse to establish ClickHouse Labs

  194 points by nikolay_sivko 5 hours | hide | 16 comments
• Massively Parallel Postgres Backups

  51 points by ksec 3 days | hide | 2 comments
• How Hollywood stopped making movies in Hollywood

  125 points by speckx 6 days | hide | 25 comments
• Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents

  28 points by BenceRed 3 hours | hide | 13 comments
• The Potomac River Midair Collision

  20 points by mplanchard 8 hours | hide | 2 comments
• The Billable Usage API: programmatic cost visibility for Cloudflare

  21 points by ashleypeacock 2 hours | hide | 2 comments
• Kelly Criterion Simulator

  13 points by aleyan 3 days | hide | 1 comments
• AirLLM 70B inference with single 4GB GPU

  153 points by Anon84 8 hours | hide | 10 comments
• Use Task Runners for Common Coding Tasks

  29 points by speckx 3 hours | hide | 4 comments
• Bonsai: Janestreet's UI Library

  253 points by KolmogorovComp 11 hours | hide | 22 comments
• Show HN: Product analytics (and evals) for agent sessions on your MCP

  25 points by screm 3 hours | hide | 4 comments
• SearXNG in Rust

  32 points by dluuuu 3 hours | hide | 4 comments
• Don't be a meat proxy

  1560 points by ngruhn 13 hours | hide | 163 comments
• SQLite Critical CVEs or LLM Slop?

  670 points by ymir_e 8 hours | hide | 49 comments
• SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros

  36 points by meysamazad 6 hours | hide | 3 comments
• Prevent cognitive debt by manually retyping LLM-generated code

  316 points by mpweiher 10 hours | hide | 104 comments
• C++ float-to-int conversion can be undefined behavior

  33 points by signa11 4 days | hide | 9 comments
• Rust project goals: Immobile types and guaranteed destructors

  208 points by paavohtl 13 hours | hide | 15 comments
• Kraid is a now a real compiler

  24 points by losgehts 4 days | hide | 4 comments
• Qwen3.8-Max: A New Bar for Coding and Cowork

  997 points by ai2027 17 hours | hide | 61 comments
• What DMARC Protects You From, and What It Does Not

  112 points by adulion 10 hours | hide | 13 comments
• Explanation of INT8 ConvRot (FP8 is no longer needed)

  15 points by peter_d_sherman 3 hours | hide | 4 comments
• ZX Spectrum System Tour: Sound

  4 points by ibobev 1 hours | hide | comments
• Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone

  90 points by NickySlicks 8 hours | hide | 10 comments