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