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