HN.zip
  1. 1
    Ten advances in mathematics and theoretical computer science (openai.com)211 points by milkshakes - 487 comments
  2. 2
    Devtools must be open source (exe.dev)360 points by bryanmikaelian - 128 comments
  3. 3
    Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)251 points by just_some_user - 141 comments
  4. 4
    Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (complete.org)73 points by roryirvine - 20 comments
  5. 5
    MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (comfy.org)200 points by vblanco - 56 comments
  6. 6
    Smaller, faster, safer: running Kimi and GLM at scale (cloudflare.com)39 points by ascorbic - 4 comments
  7. 7
    Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)193 points by nikolay_sivko - 41 comments
  8. 8
    Massively Parallel Postgres Backups (planetscale.com)49 points by ksec - 1 comments
  9. 9
    How Hollywood stopped making movies in Hollywood (statsignificant.com)124 points by speckx - 121 comments
  10. 10
    Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)27 points by BenceRed - 32 comments
  11. 11
    The Potomac River Midair Collision (admiralcloudberg.medium.com)19 points by mplanchard - 1 comments
  12. 12
    The Billable Usage API: programmatic cost visibility for Cloudflare (cloudflare.com)21 points by ashleypeacock - 3 comments
  13. 13
    Kelly Criterion Simulator (kellysimulator.com)13 points by aleyan - 1 comments
  14. 14
    AirLLM 70B inference with single 4GB GPU (github.com/lyogavin)153 points by Anon84 - 53 comments
  15. 15
    Bonsai: Janestreet's UI Library (github.com/janestreet)253 points by KolmogorovComp - 94 comments
  16. 16
    Use Task Runners for Common Coding Tasks (hamvocke.com)27 points by speckx - 5 comments
  17. 17
    Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)25 points by screm - 1 comments
  18. 18
    SearXNG in Rust (github.com/mikeluu99)31 points by dluuuu - 10 comments
  19. 19
    Don't be a meat proxy (gruhn.me)1556 points by ngruhn - 648 comments
  20. 20
    SQLite Critical CVEs or LLM Slop? (jfrog.com)670 points by ymir_e - 311 comments
  21. 21
    SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)36 points by meysamazad - 8 comments
  22. 22
    Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)316 points by mpweiher - 267 comments
  23. 23
    C++ float-to-int conversion can be undefined behavior (kttnr.net)33 points by signa11 - 33 comments
  24. 24
    Rust project goals: Immobile types and guaranteed destructors (github.com/rust-lang)208 points by paavohtl - 83 comments
  25. 25
    Kraid is a now a real compiler (collabora.com)24 points by losgehts - 7 comments
  26. 26
    Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)996 points by ai2027 - 529 comments
  27. 27
    What DMARC Protects You From, and What It Does Not (senderledger.com)112 points by adulion - 30 comments
  28. 28
    Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)15 points by peter_d_sherman - 5 comments
  29. 29
    ZX Spectrum System Tour: Sound (bumbershootsoft.wordpress.com)4 points by ibobev - 0 comments
  30. 30
    Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com/garagehq)90 points by NickySlicks - 29 comments