Ten advances in mathematics and theoretical computer science
(openai.com)Devtools must be open source
(blog.exe.dev)Wind and solar overtake fossil fuels in Germany for the first time
(www.intellinews.com)Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years
(changelog.complete.org)MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video
(blog.comfy.org)Smaller, faster, safer: running Kimi and GLM at scale
(blog.cloudflare.com)Andy Pavlo joins ClickHouse to establish ClickHouse Labs
(clickhouse.com)Massively Parallel Postgres Backups
(planetscale.com)How Hollywood stopped making movies in Hollywood
(www.statsignificant.com)The Potomac River Midair Collision
(admiralcloudberg.medium.com)Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents
(hoplite.sh)Kelly Criterion Simulator
(kellysimulator.com)The Billable Usage API: programmatic cost visibility for Cloudflare
(blog.cloudflare.com)200 Milliseconds
(200ms.thenodebook.com)AirLLM 70B inference with single 4GB GPU
(github.com)Use Task Runners for Common Coding Tasks
(hamvocke.com)Bonsai: Janestreet's UI Library
(github.com)SearXNG in Rust
(github.com)Show HN: Product analytics (and evals) for agent sessions on your MCP
(armature.tech)Don't be a meat proxy
(gruhn.me)SQLite Critical CVEs or LLM Slop?
(research.jfrog.com)SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros
(dmarcguard.io)Explanation of INT8 ConvRot (FP8 is no longer needed)
(note.com)Prevent cognitive debt by manually retyping LLM-generated code
(ankursethi.com)C++ float-to-int conversion can be undefined behavior
(kttnr.net)Rust project goals: Immobile types and guaranteed destructors
(github.com)What DMARC Protects You From, and What It Does Not
(senderledger.com)Kraid is a now a real compiler
(www.collabora.com)Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone
(github.com)