FastHTML page

1. Ten advances in mathematics and theoretical computer science (openai.com)

242 points by milkshakes 4 hours ago | 504 comments

2. Devtools must be open source (blog.exe.dev)

380 points by bryanmikaelian 6 hours ago | 138 comments

3. Wind and solar overtake fossil fuels in Germany for the first time (www.intellinews.com)

275 points by just_some_user 7 hours ago | 188 comments

4. Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)

82 points by roryirvine 3 hours ago | 27 comments

5. Smaller, faster, safer: running Kimi and GLM at scale (blog.cloudflare.com)

53 points by ascorbic 3 hours ago | 10 comments

6. MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (blog.comfy.org)

206 points by vblanco 7 hours ago | 58 comments

7. Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)

204 points by nikolay_sivko 6 hours ago | 46 comments

8. Massively Parallel Postgres Backups (planetscale.com)

58 points by ksec 3 days ago | 2 comments

9. How Hollywood stopped making movies in Hollywood (www.statsignificant.com)

133 points by speckx 6 days ago | 126 comments

10. Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)

30 points by BenceRed 4 hours ago | 37 comments

11. The Billable Usage API: programmatic cost visibility for Cloudflare (blog.cloudflare.com)

24 points by ashleypeacock 3 hours ago | 4 comments

12. Kelly Criterion Simulator (kellysimulator.com)

19 points by aleyan 3 days ago | 4 comments

13. 200 Milliseconds (200ms.thenodebook.com)

18 points by dimitarpanov 2 days ago | 1 comments

14. AirLLM 70B inference with single 4GB GPU (github.com)

157 points by Anon84 9 hours ago | 59 comments

15. Use Task Runners for Common Coding Tasks (hamvocke.com)

35 points by speckx 3 hours ago | 10 comments

16. Bonsai: Janestreet's UI Library (github.com)

256 points by KolmogorovComp 12 hours ago | 97 comments

17. SearXNG in Rust (github.com)

36 points by dluuuu 4 hours ago | 17 comments

18. Don't be a meat proxy (gruhn.me)

1583 points by ngruhn 14 hours ago | 652 comments

19. Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)

26 points by screm 4 hours ago | 1 comments

20. SQLite Critical CVEs or LLM Slop? (research.jfrog.com)

675 points by ymir_e 9 hours ago | 318 comments

21. SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)

40 points by meysamazad 7 hours ago | 8 comments

22. Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)

322 points by mpweiher 11 hours ago | 270 comments

23. ZX Spectrum System Tour: Sound (bumbershootsoft.wordpress.com)

7 points by ibobev 2 hours ago | 0 comments

24. C++ float-to-int conversion can be undefined behavior (kttnr.net)

34 points by signa11 4 days ago | 34 comments

25. Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)

17 points by peter_d_sherman 4 hours ago | 6 comments

26. Rust project goals: Immobile types and guaranteed destructors (github.com)

210 points by paavohtl 14 hours ago | 83 comments

27. What DMARC Protects You From, and What It Does Not (senderledger.com)

116 points by adulion 11 hours ago | 29 comments

28. Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)

1004 points by ai2027 18 hours ago | 536 comments

29. Kraid is a now a real compiler (www.collabora.com)

24 points by losgehts 4 days ago | 7 comments

30. Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com)

91 points by NickySlicks 9 hours ago | 29 comments

Scroll for more..