Hacker News

1.		Ten advances in mathematics and theoretical computer science (openai.com)
		226 points by milkshakes 3 hours ago \| hide \| 485 comments
2.		Devtools must be open source (exe.dev)
		366 points by bryanmikaelian 5 hours ago \| hide \| 134 comments
3.		Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)
		261 points by just_some_user 6 hours ago \| hide \| 163 comments
4.		Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (complete.org)
		73 points by roryirvine 2 hours ago \| hide \| 25 comments
5.		MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (comfy.org)
		202 points by vblanco 6 hours ago \| hide \| 58 comments
6.		Smaller, faster, safer: running Kimi and GLM at scale (cloudflare.com)
		42 points by ascorbic 2 hours ago \| hide \| 9 comments
7.		Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)
		196 points by nikolay_sivko 5 hours ago \| hide \| 44 comments
8.		Massively Parallel Postgres Backups (planetscale.com)
		55 points by ksec 3 hours ago \| hide \| 1 comment
9.		How Hollywood stopped making movies in Hollywood (statsignificant.com)
		127 points by speckx 6 hours ago \| hide \| 122 comments
10.		Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)
		29 points by BenceRed 2 hours ago \| hide \| 36 comments
11.		The Potomac River Midair Collision (admiralcloudberg.medium.com)
		24 points by mplanchard 1 hour ago \| hide \| 2 comments
12.		The Billable Usage API: programmatic cost visibility for Cloudflare (cloudflare.com)
		22 points by ashleypeacock 2 hours ago \| hide \| 4 comments
13.		Kelly Criterion Simulator (kellysimulator.com)
		16 points by aleyan 2 hours ago \| hide \| 4 comments
14.		AirLLM 70B inference with single 4GB GPU (github.com/lyogavin)
		154 points by Anon84 8 hours ago \| hide \| 56 comments
15.		Use Task Runners for Common Coding Tasks (hamvocke.com)
		30 points by speckx 3 hours ago \| hide \| 8 comments
16.		Bonsai: Janestreet's UI Library (github.com/janestreet)
		254 points by KolmogorovComp 11 hours ago \| hide \| 96 comments
17.		SearXNG in Rust (github.com/mikeluu99)
		33 points by dluuuu 3 hours ago \| hide \| 14 comments
18.		Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)
		26 points by screm 3 hours ago \| hide \| 1 comment
19.		200 Milliseconds (thenodebook.com)
		4 points by dimitarpanov 1 hour ago \| hide \| discuss
20.		Don't be a meat proxy (gruhn.me)
		1565 points by ngruhn 13 hours ago \| hide \| 648 comments
21.		SQLite Critical CVEs or LLM Slop? (jfrog.com)
		674 points by ymir_e 8 hours ago \| hide \| 315 comments
22.		SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)
		36 points by meysamazad 6 hours ago \| hide \| 8 comments
23.		Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)
		17 points by peter_d_sherman 3 hours ago \| hide \| 6 comments
24.		Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
		318 points by mpweiher 10 hours ago \| hide \| 269 comments
25.		C++ float-to-int conversion can be undefined behavior (kttnr.net)
		33 points by signa11 4 hours ago \| hide \| 33 comments
26.		Rust project goals: Immobile types and guaranteed destructors (github.com/rust-lang)
		209 points by paavohtl 13 hours ago \| hide \| 83 comments
27.		Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)
		1001 points by ai2027 17 hours ago \| hide \| 534 comments
28.		What DMARC Protects You From, and What It Does Not (senderledger.com)
		113 points by adulion 10 hours ago \| hide \| 29 comments
29.		Kraid is a now a real compiler (collabora.com)
		24 points by losgehts 5 hours ago \| hide \| 7 comments
30.		Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com/garagehq)
		90 points by NickySlicks 8 hours ago \| hide \| 29 comments
		More