Why Writing Correct Software Is Hard

95 points37 comments

Anthropic IPO

131 points137 comments

Jane Street: Socratic Tutor

352 points81 comments

A live tree of systemd jobs on the boot console

156 points58 comments

Tim Peters has died

1276 points143 comments

93% of paint splatters are valid Perl programs (2019)

482 points59 comments

Critical RCE Vulnerability in Apache HTTP Server

256 points123 comments

AWS emulator

883 points247 comments

Researchers discover rare star system that emits radio signals every 8 minutes

11 points0 comments

Making a €40 USB-C hub work as a Nintendo Switch 2 dock

45 points10 comments

A false smoke alarm almost drowned Jane Street's only NYC datacenter

517 points248 comments

Nvidia is preparing to oust Jensen Huang

1115 points1496 comments

Gemini Decisions API

466 points143 comments

I'm Working on a FOSS Linux Pinbal Simulation Engine

66 points27 comments

Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017)

13 points1 comments

United Airlines bans AI agents from booking flights on behalf of travelers

577 points603 comments

Lock Your GitHub Actions

274 points58 comments

Show HN: Aircad – Professional drafting and 3D modeling in the browser

47 points22 comments

Emacs in the Age of Magic

257 points117 comments

The Utah Teapot

163 points38 comments

I gave an agent a lakehouse and control of my garden

113 points53 comments

Hyper-realistic sand with WebGL2

407 points77 comments

A general purpose Apple Silicon layer for x86-64 PCs

117 points47 comments

Legocam: My Lego webcam from 2000, working on a modern Mac

27 points26 comments

My AI agents found an unmapped Maya site?

1007 points369 comments

Did Life Begin in an RNA World?

70 points40 comments

Faster Retrieval for Better, More Efficient RAG

218 points38 comments

Show HN: Yogurt – Free, private, open-source alternative to Granola

259 points97 comments

Using voltage glitching to unleash the A100 in my mining card

317 points125 comments

Huawei releases MACaQ, its internal quantizer for local inference

119 points26 comments