Hacker News

1.		Devtools must be open source (exe.dev)
		239 points by bryanmikaelian 3 hours ago \| hide \| 77 comments
2.		Ten advances in mathematics and theoretical computer science (openai.com)
		52 points by milkshakes 1 hour ago \| hide \| 366 comments
3.		MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (comfy.org)
		166 points by vblanco 4 hours ago \| hide \| 49 comments
4.		Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)
		136 points by just_some_user 4 hours ago \| hide \| 54 comments
5.		Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)
		138 points by nikolay_sivko 3 hours ago \| hide \| 27 comments
6.		Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)
		18 points by BenceRed 1 hour ago \| hide \| 16 comments
7.		Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (complete.org)
		18 points by roryirvine 56 minutes ago \| hide \| 4 comments
8.		How Hollywood stopped making movies in Hollywood (statsignificant.com)
		91 points by speckx 4 hours ago \| hide \| 83 comments
9.		Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)
		957 points by ai2027 15 hours ago \| hide \| 492 comments
10.		Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)
		15 points by screm 1 hour ago \| hide \| discuss
11.		AirLLM 70B inference with single 4GB GPU (github.com/lyogavin)
		134 points by Anon84 6 hours ago \| hide \| 46 comments
12.		Bonsai: Janestreet's UI Library (github.com/janestreet)
		229 points by KolmogorovComp 9 hours ago \| hide \| 84 comments
13.		C++ float-to-int conversion can be undefined behavior (kttnr.net)
		19 points by signa11 2 hours ago \| hide \| 17 comments
14.		SQLite Critical CVEs or LLM Slop? (jfrog.com)
		639 points by ymir_e 6 hours ago \| hide \| 266 comments
15.		SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)
		30 points by meysamazad 4 hours ago \| hide \| 7 comments
16.		Don't be a meat proxy (gruhn.me)
		1463 points by ngruhn 11 hours ago \| hide \| 622 comments
17.		Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)
		10 points by peter_d_sherman 1 hour ago \| hide \| 4 comments
18.		Taylor Farms has rewritten its cyclospora statement four times in sixteen days (marlerblog.com)
		210 points by speckx 2 hours ago \| hide \| 121 comments
19.		Massively Parallel Postgres Backups (planetscale.com)
		4 points by ksec 1 hour ago \| hide \| discuss
20.		SearXNG in Rust (github.com/mikeluu99)
		8 points by dluuuu 1 hour ago \| hide \| 2 comments
21.		Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com/garagehq)
		85 points by NickySlicks 6 hours ago \| hide \| 23 comments
22.		What DMARC Protects You From, and What It Does Not (senderledger.com)
		97 points by adulion 8 hours ago \| hide \| 25 comments
23.		Rust project goals: Immobile types and guaranteed destructors (github.com/rust-lang)
		191 points by paavohtl 11 hours ago \| hide \| 72 comments
24.		Kraid is a now a real compiler (collabora.com)
		15 points by losgehts 3 hours ago \| hide \| 4 comments
25.		Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
		290 points by mpweiher 8 hours ago \| hide \| 258 comments
26.		Games at the press of a button: The Rip-O-Bot (1989) (gingerbeardman.com)
		25 points by msephton 4 hours ago \| hide \| 5 comments
27.		Help Wanted (lake.computer)
		5 points by whwhyb 1 hour ago \| hide \| discuss
28.		Walk on Decomposed Subdomains (clementjambon.github.io)
		33 points by E-Reverance 5 hours ago \| hide \| 2 comments
29.		Train Simulator Controller (z80.me)
		82 points by austinallegro 9 hours ago \| hide \| 5 comments
30.		Show HN: Isopolis – Isometric pixel map of SF (isopolis.city)
		317 points by nuwandavek 17 hours ago \| hide \| 71 comments
		More