Ten advances in mathematics and theoretical computer science

237 points501 comments

Devtools must be open source

375 points137 comments

Wind and solar overtake fossil fuels in Germany for the first time

269 points178 comments

Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years

79 points27 comments

Smaller, faster, safer: running Kimi and GLM at scale

48 points10 comments

MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video

204 points58 comments

Andy Pavlo joins ClickHouse to establish ClickHouse Labs

200 points46 comments

Massively Parallel Postgres Backups

57 points1 comments

How Hollywood stopped making movies in Hollywood

132 points125 comments

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

30 points37 comments

The Billable Usage API: programmatic cost visibility for Cloudflare

24 points4 comments

Kelly Criterion Simulator

19 points4 comments

AirLLM 70B inference with single 4GB GPU

157 points57 comments

Bonsai: Janestreet's UI Library

255 points96 comments

Use Task Runners for Common Coding Tasks

34 points9 comments

200 Milliseconds

14 points1 comments

SearXNG in Rust

35 points17 comments

Don't be a meat proxy

1578 points650 comments

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

26 points1 comments

SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros

38 points8 comments

SQLite Critical CVEs or LLM Slop?

675 points318 comments

ZX Spectrum System Tour: Sound

7 points0 comments

Prevent cognitive debt by manually retyping LLM-generated code

321 points269 comments

C++ float-to-int conversion can be undefined behavior

34 points34 comments

Explanation of INT8 ConvRot (FP8 is no longer needed)

17 points6 comments

Rust project goals: Immobile types and guaranteed destructors

210 points83 comments

Qwen3.8-Max: A New Bar for Coding and Cowork

1004 points535 comments

What DMARC Protects You From, and What It Does Not

115 points29 comments

Kraid is a now a real compiler

24 points7 comments

Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone

91 points29 comments