219

Ten advances in mathematics and theoretical computer science (openai.com)

by milkshakes 3 hours ago | hide | 482 comments

364

Devtools must be open source (blog.exe.dev)

by bryanmikaelian 6 hours ago | hide | 133 comments

259

Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)

by just_some_user 7 hours ago | hide | 156 comments

73

Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)

by roryirvine 3 hours ago | hide | 24 comments

201

MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (blog.comfy.org)

by vblanco 6 hours ago | hide | 58 comments

42

Smaller, faster, safer: running Kimi and GLM at scale (blog.cloudflare.com)

by ascorbic 3 hours ago | hide | 9 comments

194

Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)

by nikolay_sivko 6 hours ago | hide | 44 comments

52

Massively Parallel Postgres Backups (planetscale.com)

by ksec 3 days ago | hide | 1 comments

126

How Hollywood stopped making movies in Hollywood (statsignificant.com)

by speckx 6 days ago | hide | 122 comments

29

Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)

by BenceRed 3 hours ago | hide | 34 comments

23

The Potomac River Midair Collision (admiralcloudberg.medium.com)

by mplanchard 8 hours ago | hide | 2 comments

21

The Billable Usage API: programmatic cost visibility for Cloudflare (blog.cloudflare.com)

by ashleypeacock 3 hours ago | hide | 4 comments

15

Kelly Criterion Simulator (kellysimulator.com)

by aleyan 3 days ago | hide | 4 comments

154

AirLLM 70B inference with single 4GB GPU (github.com)

by Anon84 9 hours ago | hide | 56 comments

30

Use Task Runners for Common Coding Tasks (hamvocke.com)

by speckx 3 hours ago | hide | 8 comments

253

Bonsai: Janestreet's UI Library (github.com)

by KolmogorovComp 11 hours ago | hide | 95 comments

25

Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)

by screm 4 hours ago | hide | 1 comments

1562

Don't be a meat proxy (gruhn.me)

by ngruhn 13 hours ago | hide | 647 comments

32

SearXNG in Rust (github.com)

by dluuuu 3 hours ago | hide | 13 comments

673

SQLite Critical CVEs or LLM Slop? (research.jfrog.com)

by ymir_e 8 hours ago | hide | 315 comments

36

SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)

by meysamazad 6 hours ago | hide | 8 comments

318

Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)

by mpweiher 10 hours ago | hide | 268 comments

33

C++ float-to-int conversion can be undefined behavior (kttnr.net)

by signa11 4 days ago | hide | 33 comments

16

Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)

by peter_d_sherman 4 hours ago | hide | 5 comments

209

Rust project goals: Immobile types and guaranteed destructors (github.com)

by paavohtl 13 hours ago | hide | 83 comments

24

Kraid is a now a real compiler (collabora.com)

by losgehts 4 days ago | hide | 7 comments

998

Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)

by ai2027 18 hours ago | hide | 534 comments

112

What DMARC Protects You From, and What It Does Not (senderledger.com)

by adulion 10 hours ago | hide | 29 comments

90

Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com)

by NickySlicks 9 hours ago | hide | 29 comments

4

ZX Spectrum System Tour: Sound (bumbershootsoft.wordpress.com)

by ibobev an hour ago | hide | 0 comments

[MAD] Hacker News