1.
Ten advances in mathematics and theoretical computer science
296 points by milkshakes 5 hours ago | 560 comments
2.
Devtools must be open source
410 points by bryanmikaelian 7 hours ago | 141 comments
3.
Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years
95 points by roryirvine 4 hours ago | 28 comments
4.
Smaller, faster, safer: running Kimi and GLM at scale
72 points by ascorbic 4 hours ago | 17 comments
5.
MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video
214 points by vblanco 8 hours ago | 64 comments
6.
200 Milliseconds
58 points by dimitarpanov 3 days ago | 17 comments
7.
The Dunning-Kruger effect is probably not real (2020)
51 points by audreyfei 2 hours ago | 54 comments
8.
Andy Pavlo joins ClickHouse to establish ClickHouse Labs
220 points by nikolay_sivko 7 hours ago | 47 comments
9.
Massively Parallel Postgres Backups
63 points by ksec 4 days ago | 3 comments
10.
How Hollywood stopped making movies in Hollywood
138 points by speckx 7 days ago | 140 comments
11.
DDoS against Norwegian government IT infrastructure – status
57 points by e12e 2 hours ago | 25 comments
12.
Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents
31 points by BenceRed 5 hours ago | 43 comments
13.
Kelly Criterion Simulator
27 points by aleyan 4 days ago | 9 comments
14.
AirLLM 70B inference with single 4GB GPU
164 points by Anon84 10 hours ago | 61 comments
15.
The Billable Usage API: programmatic cost visibility for Cloudflare
29 points by ashleypeacock 4 hours ago | 5 comments
16.
SearXNG in Rust
42 points by dluuuu 5 hours ago | 18 comments
17.
Bonsai: Janestreet's UI Library
261 points by KolmogorovComp 13 hours ago | 100 comments
18.
Use Task Runners for Common Coding Tasks
44 points by speckx 5 hours ago | 16 comments
19.
Replacing the Kobo Libra H2O Battery
4 points by austinallegro 5 days ago | discuss
20.
Don't be a meat proxy
1612 points by ngruhn 15 hours ago | 662 comments
21.
SQLite Critical CVEs or LLM Slop?
679 points by ymir_e 10 hours ago | 329 comments
22.
SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros
42 points by meysamazad 8 hours ago | 11 comments
23.
ZX Spectrum System Tour: Sound
10 points by ibobev 3 hours ago | discuss
24.
Show HN: Product analytics (and evals) for agent sessions on your MCP
27 points by screm 5 hours ago | 1 comments
25.
Prevent cognitive debt by manually retyping LLM-generated code
332 points by mpweiher 12 hours ago | 279 comments
26.
C++ float-to-int conversion can be undefined behavior
36 points by signa11 5 days ago | 36 comments
27.
Rust project goals: Immobile types and guaranteed destructors
213 points by paavohtl 15 hours ago | 85 comments
28.
Explanation of INT8 ConvRot (FP8 is no longer needed)
20 points by peter_d_sherman 5 hours ago | 7 comments
29.
Qwen3.8-Max: A New Bar for Coding and Cowork
1021 points by ai2027 19 hours ago | 543 comments
30.
What DMARC Protects You From, and What It Does Not
122 points by adulion 12 hours ago | 29 comments