Top
Best
New

1.

Why Writing Correct Software Is Hard(pron.github.io)
Posted by AriFordsham 2 hours ago
104 points | 42 comments

2.

Jane Street: Socratic Tutor(github.com)
Posted by tosh 2 days ago
359 points | 84 comments

3.

A live tree of systemd jobs on the boot console(codeberg.org)
Posted by orhunp_ 3 days ago
159 points | 61 comments

4.

Anthropic IPO(ipo.anthropic.com)
Posted by josephljohnston 1 hour ago
143 points | 161 comments

5.

Tim Peters has died(discuss.python.org)
Posted by ayhanfuat 1 day ago
1280 points | 146 comments

6.

93% of paint splatters are valid Perl programs (2019)(www.mcmillen.dev)
Posted by zenincognito 14 hours ago
484 points | 60 comments

7.

Critical RCE Vulnerability in Apache HTTP Server(www.wiz.io)
Posted by soheilpro 11 hours ago
256 points | 123 comments

8.

AWS emulator(github.com)
Posted by super_linear 18 hours ago
884 points | 247 comments

9.

Researchers discover rare star system that emits radio signals every 8 minutes(www.curtin.edu.au)
Posted by giuliomagnifico 2 hours ago
13 points | 0 comments

10.

Making a €40 USB-C hub work as a Nintendo Switch 2 dock(blog.nozomi.space)
Posted by mkopec 2 days ago
50 points | 11 comments

11.

A false smoke alarm almost drowned Jane Street's only NYC datacenter(michael.bacarella.com)
Posted by mbac32768 20 hours ago
518 points | 250 comments

12.

Nvidia is preparing to oust Jensen Huang(www.wsj.com)
Posted by jbredeche 14 hours ago
1124 points | 1501 comments

13.

Gemini Decisions API(blog.google)
Posted by iamdelirium 18 hours ago
468 points | 143 comments

14.

I'm Working on a FOSS Linux Pinbal Simulation Engine(www.getlazarus.org)
Posted by sysrpl 7 hours ago
69 points | 27 comments

15.

United Airlines bans AI agents from booking flights on behalf of travelers(www.cbsnews.com)
Posted by herpderperator 15 hours ago
582 points | 606 comments

16.

Lock Your GitHub Actions(hugovk.dev)
Posted by gslin 14 hours ago
276 points | 58 comments

17.

Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017)(www.researchgate.net)
Posted by NaOH 3 days ago
13 points | 1 comments

18.

Show HN: Aircad – Professional drafting and 3D modeling in the browser(aircad.com)
Posted by peetle 1 day ago
47 points | 22 comments

19.

Emacs in the Age of Magic(commandlinesystems.com)
Posted by ggcr 16 hours ago
258 points | 119 comments

20.

The Utah Teapot(graphics.cs.utah.edu)
Posted by cobbal 17 hours ago
165 points | 39 comments
More stories...