Hacker News

1.		Ten advances in mathematics and theoretical computer science (openai.com)
		134 points by milkshakes 2 hours ago \| hide \| 426 comments
2.		Devtools must be open source (exe.dev)
		318 points by bryanmikaelian 4 hours ago \| hide \| 111 comments
3.		Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (complete.org)
		57 points by roryirvine 1 hour ago \| hide \| 10 comments
4.		Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)
		191 points by just_some_user 5 hours ago \| hide \| 100 comments
5.		MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (comfy.org)
		185 points by vblanco 5 hours ago \| hide \| 53 comments
6.		Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)
		166 points by nikolay_sivko 4 hours ago \| hide \| 36 comments
7.		How Hollywood stopped making movies in Hollywood (statsignificant.com)
		105 points by speckx 5 hours ago \| hide \| 103 comments
8.		Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)
		23 points by BenceRed 2 hours ago \| hide \| 25 comments
9.		AirLLM 70B inference with single 4GB GPU (github.com/lyogavin)
		145 points by Anon84 7 hours ago \| hide \| 51 comments
10.		Massively Parallel Postgres Backups (planetscale.com)
		23 points by ksec 2 hours ago \| hide \| discuss
11.		Smaller, faster, safer: running Kimi and GLM at scale (cloudflare.com)
		13 points by ascorbic 1 hour ago \| hide \| discuss
12.		Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)
		20 points by screm 2 hours ago \| hide \| 1 comment
13.		Bonsai: Janestreet's UI Library (github.com/janestreet)
		240 points by KolmogorovComp 10 hours ago \| hide \| 90 comments
14.		The Billable Usage API: programmatic cost visibility for Cloudflare (cloudflare.com)
		14 points by ashleypeacock 1 hour ago \| hide \| 2 comments
15.		Use Task Runners for Common Coding Tasks (hamvocke.com)
		18 points by speckx 2 hours ago \| hide \| 3 comments
16.		SQLite Critical CVEs or LLM Slop? (jfrog.com)
		656 points by ymir_e 7 hours ago \| hide \| 294 comments
17.		Don't be a meat proxy (gruhn.me)
		1517 points by ngruhn 12 hours ago \| hide \| 636 comments
18.		SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)
		33 points by meysamazad 5 hours ago \| hide \| 8 comments
19.		Kelly Criterion Simulator (kellysimulator.com)
		4 points by aleyan 1 hour ago \| hide \| discuss
20.		SearXNG in Rust (github.com/mikeluu99)
		22 points by dluuuu 2 hours ago \| hide \| 8 comments
21.		C++ float-to-int conversion can be undefined behavior (kttnr.net)
		29 points by signa11 3 hours ago \| hide \| 25 comments
22.		Taylor Farms has rewritten its cyclospora statement four times in sixteen days (marlerblog.com)
		251 points by speckx 3 hours ago \| hide \| 159 comments
23.		Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
		307 points by mpweiher 9 hours ago \| hide \| 263 comments
24.		Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)
		987 points by ai2027 16 hours ago \| hide \| 512 comments
25.		Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com/garagehq)
		89 points by NickySlicks 7 hours ago \| hide \| 27 comments
26.		Rust project goals: Immobile types and guaranteed destructors (github.com/rust-lang)
		200 points by paavohtl 12 hours ago \| hide \| 75 comments
27.		What DMARC Protects You From, and What It Does Not (senderledger.com)
		109 points by adulion 9 hours ago \| hide \| 28 comments
28.		Kraid is a now a real compiler (collabora.com)
		19 points by losgehts 4 hours ago \| hide \| 6 comments
29.		Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)
		11 points by peter_d_sherman 2 hours ago \| hide \| 5 comments
30.		Games at the press of a button: The Rip-O-Bot (1989) (gingerbeardman.com)
		26 points by msephton 5 hours ago \| hide \| 6 comments
		More