- 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)
- The Potomac River Midair Collision (admiralcloudberg.medium.com)
- How Hollywood stopped making movies in Hollywood (www.statsignificant.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)
- Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)
- 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)
- ZX Spectrum System Tour: Sound (bumbershootsoft.wordpress.com)
- Train Simulator Controller (z80.me)
- Games at the press of a button: The Rip-O-Bot (1989) (blog.gingerbeardman.com)
- Cloudflare Workers and Containers now support inbound TCP connections and gRPC (blog.cloudflare.com)
- Octane – React’s programming model, compiled (octanejs.dev)
- ASCII Today (ascii.today)
- Taylor Farms has rewritten its cyclospora statement four times in sixteen days (www.marlerblog.com)
- Finding zombies in our systems: A real-world story of CPU bottlenecks (medium.com)
- The Abandoned Fish Sauce Terrorizing a Small Canadian Town (defector.com)
- Walk on Decomposed Subdomains (clementjambon.github.io)
- 16 Year old used AI to disprove professor (twitter.com)
- Twenty Years of Pandoc (pandoc.org)
- SwiftUI After 7 Years (ykvm.com)
- Show HN: ssh ssh.place (ssh.place)
- Why we write our own C and C++ inference engines (localai.io)
- Show HN: We Fixed UniFi's Slow PPPoE Performance with PPPoE Half-Bridge (arcbox.dev)
- Utah produced more power from solar than any other source in May, a new first (www.sltrib.com)
- The AI Bailout Could Be Baked into the AI Bubble (prospect.org)
- New York Will Require Digital ID Checks for Social Feeds (reclaimthenet.org)
- CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K (github.com)