Why Writing Correct Software Is Hard pron.github.io
97 points by AriFordsham 2 hours ago | 41 comments
1Jane Street: Socratic Tutor github.com
355 points by tosh 2 days ago | 82 comments
2Anthropic IPO ipo.anthropic.com
133 points by josephljohnston 1 hour ago | 140 comments
3A live tree of systemd jobs on the boot console codeberg.org
157 points by orhunp_ 2 days ago | 58 comments
4Tim Peters has died discuss.python.org
1277 points by ayhanfuat 1 day ago | 144 comments
593% of paint splatters are valid Perl programs (2019) www.mcmillen.dev
483 points by zenincognito 14 hours ago | 60 comments
6Critical RCE Vulnerability in Apache HTTP Server www.wiz.io
256 points by soheilpro 10 hours ago | 123 comments
7AWS emulator github.com
883 points by super_linear 18 hours ago | 247 comments
8Researchers discover rare star system that emits radio signals every 8 minutes www.curtin.edu.au
11 points by giuliomagnifico 2 hours ago | 0 comments
9Making a €40 USB-C hub work as a Nintendo Switch 2 dock blog.nozomi.space
47 points by mkopec 2 days ago | 10 comments
10A false smoke alarm almost drowned Jane Street's only NYC datacenter michael.bacarella.com
518 points by mbac32768 20 hours ago | 248 comments
11Nvidia is preparing to oust Jensen Huang www.wsj.com
1118 points by jbredeche 14 hours ago | 1496 comments
12Gemini Decisions API blog.google
466 points by iamdelirium 18 hours ago | 143 comments
13I'm Working on a FOSS Linux Pinbal Simulation Engine www.getlazarus.org
66 points by sysrpl 7 hours ago | 27 comments
14Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017) www.researchgate.net
13 points by NaOH 3 days ago | 1 comment
15United Airlines bans AI agents from booking flights on behalf of travelers www.cbsnews.com
578 points by herpderperator 15 hours ago | 604 comments
16Lock Your GitHub Actions hugovk.dev
274 points by gslin 14 hours ago | 58 comments
17Show HN: Aircad – Professional drafting and 3D modeling in the browser aircad.com
47 points by peetle 1 day ago | 22 comments
18Emacs in the Age of Magic commandlinesystems.com
257 points by ggcr 16 hours ago | 117 comments
19The Utah Teapot graphics.cs.utah.edu
164 points by cobbal 17 hours ago | 38 comments
20I gave an agent a lakehouse and control of my garden jatorre.github.io
113 points by jatorre 3 days ago | 53 comments
21Hyper-realistic sand with WebGL2 av.github.io
407 points by everlier 23 hours ago | 77 comments
22A general purpose Apple Silicon layer for x86-64 PCs github.com
118 points by iceboundrock 13 hours ago | 47 comments
23My AI agents found an unmapped Maya site? pietromiotti.com
1009 points by eyvindn 1 day ago | 369 comments
24Legocam: My Lego webcam from 2000, working on a modern Mac blog.benjamin.ie
27 points by benkelly 2 days ago | 26 comments
25Did Life Begin in an RNA World? www.quantamagazine.org
70 points by acossta 2 days ago | 40 comments
26Faster Retrieval for Better, More Efficient RAG machinelearning.apple.com
218 points by zerop 20 hours ago | 38 comments
27Show HN: Yogurt – Free, private, open-source alternative to Granola github.com
259 points by brownrout 21 hours ago | 97 comments
28Using voltage glitching to unleash the A100 in my mining card blog.kate.land
318 points by lae 1 day ago | 125 comments
29Huawei releases MACaQ, its internal quantizer for local inference github.com
119 points by thefox96 16 hours ago | 26 comments
30