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