Top stories - Hacker News

1.

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

Posted by AriFordsham 2 hours ago

88 points | 30 comments

2.

Jane Street: Socratic Tutor(github.com)

Posted by tosh 2 days ago

344 points | 78 comments

3.

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

Posted by orhunp_ 2 days ago

153 points | 56 comments

4.

Anthropic IPO(ipo.anthropic.com)

Posted by josephljohnston 1 hour ago

115 points | 119 comments

5.

Tim Peters has died(discuss.python.org)

Posted by ayhanfuat 1 day ago

1273 points | 142 comments

6.

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

Posted by zenincognito 14 hours ago

481 points | 59 comments

7.

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

Posted by soheilpro 10 hours ago

254 points | 120 comments

8.

AWS emulator(github.com)

Posted by super_linear 18 hours ago

882 points | 246 comments

9.

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

Posted by mkopec 2 days ago

41 points | 6 comments

10.

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

Posted by mbac32768 20 hours ago

515 points | 247 comments

11.

Code Smells of Desperation (2023)(www.os2museum.com)

Posted by sammatilda 2 hours ago

8 points | 2 comments

12.

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

Posted by jbredeche 14 hours ago

1107 points | 1488 comments

13.

Gemini Decisions API(blog.google)

Posted by iamdelirium 18 hours ago

465 points | 143 comments

14.

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

Posted by sysrpl 7 hours ago

66 points | 24 comments

15.

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

Posted by herpderperator 15 hours ago

576 points | 600 comments

16.

Lock Your GitHub Actions(hugovk.dev)

Posted by gslin 14 hours ago

274 points | 57 comments

17.

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

Posted by NaOH 3 days ago

11 points | 1 comments

18.

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

Posted by peetle 1 day ago

46 points | 22 comments

19.

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

Posted by giuliomagnifico 2 hours ago

5 points | 0 comments

20.

Emacs in the Age of Magic(commandlinesystems.com)

Posted by ggcr 16 hours ago

254 points | 116 comments

More stories...