Ten advances in mathematics and theoretical computer science (openai.com)
198 points by milkshakes 3 hours ago | 473 comments
Devtools must be open source (blog.exe.dev)
351 points by bryanmikaelian 5 hours ago | 129 comments
Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)
237 points by just_some_user 6 hours ago | 137 comments
Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)
70 points by roryirvine 3 hours ago | 21 comments
MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (blog.comfy.org)
198 points by vblanco 6 hours ago | 57 comments
Smaller, faster, safer: running Kimi and GLM at scale (blog.cloudflare.com)
34 points by ascorbic 3 hours ago | 4 comments
Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)
191 points by nikolay_sivko 6 hours ago | 44 comments
Massively Parallel Postgres Backups (planetscale.com)
44 points by ksec 3 days ago | 1 comments
How Hollywood stopped making movies in Hollywood (statsignificant.com)
123 points by speckx 6 days ago | 116 comments
Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)
26 points by BenceRed 3 hours ago | 31 comments
The Billable Usage API: programmatic cost visibility for Cloudflare (blog.cloudflare.com)
21 points by ashleypeacock 2 hours ago | 3 comments
AirLLM 70B inference with single 4GB GPU (github.com)
152 points by Anon84 8 hours ago | 53 comments
The Potomac River Midair Collision (admiralcloudberg.medium.com)
6 points by mplanchard 8 hours ago | 1 comments
Kelly Criterion Simulator (kellysimulator.com)
11 points by aleyan 3 days ago | 1 comments
Bonsai: Janestreet's UI Library (github.com)
252 points by KolmogorovComp 11 hours ago | 95 comments
Use Task Runners for Common Coding Tasks (hamvocke.com)
26 points by speckx 3 hours ago | 5 comments
Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)
25 points by screm 3 hours ago | 1 comments
Don't be a meat proxy (gruhn.me)
1550 points by ngruhn 13 hours ago | 646 comments
SQLite Critical CVEs or LLM Slop? (research.jfrog.com)
670 points by ymir_e 8 hours ago | 307 comments
SearXNG in Rust (github.com)
30 points by dluuuu 3 hours ago | 10 comments
SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)
35 points by meysamazad 6 hours ago | 8 comments
Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
315 points by mpweiher 10 hours ago | 267 comments
C++ float-to-int conversion can be undefined behavior (kttnr.net)
32 points by signa11 4 days ago | 33 comments
ZX Spectrum System Tour: Sound (bumbershootsoft.wordpress.com)
4 points by ibobev an hour ago | 0 comments
Rust project goals: Immobile types and guaranteed destructors (github.com)
208 points by paavohtl 13 hours ago | 80 comments
Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)
15 points by peter_d_sherman 4 hours ago | 5 comments
Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)
994 points by ai2027 17 hours ago | 533 comments
What DMARC Protects You From, and What It Does Not (senderledger.com)
110 points by adulion 10 hours ago | 29 comments
Kraid is a now a real compiler (collabora.com)
23 points by losgehts 4 days ago | 7 comments
Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com)
90 points by NickySlicks 9 hours ago | 29 comments