FastHTML page

1. Why Writing Correct Software Is Hard (pron.github.io)

95 points by AriFordsham 3 hours ago | 37 comments

2. Anthropic IPO (ipo.anthropic.com)

131 points by josephljohnston an hour ago | 137 comments

3. Jane Street: Socratic Tutor (github.com)

352 points by tosh 2 days ago | 81 comments

4. A live tree of systemd jobs on the boot console (codeberg.org)

156 points by orhunp_ 3 days ago | 58 comments

5. Tim Peters has died (discuss.python.org)

1276 points by ayhanfuat a day ago | 143 comments

6. 93% of paint splatters are valid Perl programs (2019) (www.mcmillen.dev)

482 points by zenincognito 14 hours ago | 59 comments

7. Critical RCE Vulnerability in Apache HTTP Server (www.wiz.io)

256 points by soheilpro 11 hours ago | 123 comments

8. AWS emulator (github.com)

883 points by super_linear 19 hours ago | 247 comments

9. Researchers discover rare star system that emits radio signals every 8 minutes (www.curtin.edu.au)

11 points by giuliomagnifico 2 hours ago | 0 comments

10. Making a €40 USB-C hub work as a Nintendo Switch 2 dock (blog.nozomi.space)

45 points by mkopec 3 days ago | 10 comments

11. A false smoke alarm almost drowned Jane Street's only NYC datacenter (michael.bacarella.com)

517 points by mbac32768 20 hours ago | 248 comments

12. Nvidia is preparing to oust Jensen Huang (www.wsj.com)

1115 points by jbredeche 14 hours ago | 1496 comments

13. Gemini Decisions API (blog.google)

466 points by iamdelirium 18 hours ago | 143 comments

14. I'm Working on a FOSS Linux Pinbal Simulation Engine (www.getlazarus.org)

66 points by sysrpl 7 hours ago | 27 comments

15. Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017) (www.researchgate.net)

13 points by NaOH 4 days ago | 1 comments

16. United Airlines bans AI agents from booking flights on behalf of travelers (www.cbsnews.com)

577 points by herpderperator 16 hours ago | 603 comments

17. Lock Your GitHub Actions (hugovk.dev)

274 points by gslin 15 hours ago | 58 comments

18. Show HN: Aircad – Professional drafting and 3D modeling in the browser (aircad.com)

47 points by peetle 2 days ago | 22 comments

19. Emacs in the Age of Magic (commandlinesystems.com)

257 points by ggcr 17 hours ago | 117 comments

20. The Utah Teapot (graphics.cs.utah.edu)

163 points by cobbal 17 hours ago | 38 comments

21. I gave an agent a lakehouse and control of my garden (jatorre.github.io)

113 points by jatorre 4 days ago | 53 comments

22. Hyper-realistic sand with WebGL2 (av.github.io)

407 points by everlier a day ago | 77 comments

23. A general purpose Apple Silicon layer for x86-64 PCs (github.com)

117 points by iceboundrock 14 hours ago | 47 comments

24. Legocam: My Lego webcam from 2000, working on a modern Mac (blog.benjamin.ie)

27 points by benkelly 2 days ago | 26 comments

25. My AI agents found an unmapped Maya site? (pietromiotti.com)

1007 points by eyvindn a day ago | 369 comments

26. Did Life Begin in an RNA World? (www.quantamagazine.org)

70 points by acossta 3 days ago | 40 comments

27. Faster Retrieval for Better, More Efficient RAG (machinelearning.apple.com)

218 points by zerop 20 hours ago | 38 comments

28. Show HN: Yogurt – Free, private, open-source alternative to Granola (github.com)

259 points by brownrout 21 hours ago | 97 comments

29. Using voltage glitching to unleash the A100 in my mining card (blog.kate.land)

317 points by lae a day ago | 125 comments

30. Huawei releases MACaQ, its internal quantizer for local inference (github.com)

119 points by thefox96 17 hours ago | 26 comments

Scroll for more..