Why Writing Correct Software Is Hard pron.github.io
114 points by AriFordsham 2 hours ago | 49 comments
1Jane Street: Socratic Tutor github.com
366 points by tosh 2 days ago | 88 comments
2A live tree of systemd jobs on the boot console codeberg.org
163 points by orhunp_ 3 days ago | 62 comments
3Tim Peters has died discuss.python.org
1282 points by ayhanfuat 1 day ago | 149 comments
4Anthropic IPO ipo.anthropic.com
157 points by josephljohnston 1 hour ago | 177 comments
593% of paint splatters are valid Perl programs (2019) www.mcmillen.dev
488 points by zenincognito 14 hours ago | 61 comments
6Critical RCE Vulnerability in Apache HTTP Server www.wiz.io
260 points by soheilpro 11 hours ago | 124 comments
7AWS emulator github.com
888 points by super_linear 19 hours ago | 247 comments
8Researchers discover rare star system that emits radio signals every 8 minutes www.curtin.edu.au
16 points by giuliomagnifico 2 hours ago | 2 comments
9Making a €40 USB-C hub work as a Nintendo Switch 2 dock blog.nozomi.space
52 points by mkopec 2 days ago | 11 comments
10A false smoke alarm almost drowned Jane Street's only NYC datacenter michael.bacarella.com
519 points by mbac32768 20 hours ago | 251 comments
11Nvidia is preparing to oust Jensen Huang www.wsj.com
1128 points by jbredeche 14 hours ago | 1506 comments
12Gemini Decisions API blog.google
469 points by iamdelirium 18 hours ago | 145 comments
13I'm Working on a FOSS Linux Pinbal Simulation Engine www.getlazarus.org
71 points by sysrpl 7 hours ago | 27 comments
14Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017) www.researchgate.net
14 points by NaOH 3 days ago | 1 comment
15Lock Your GitHub Actions hugovk.dev
280 points by gslin 15 hours ago | 58 comments
16United Airlines bans AI agents from booking flights on behalf of travelers www.cbsnews.com
584 points by herpderperator 15 hours ago | 606 comments
17Emacs in the Age of Magic commandlinesystems.com
260 points by ggcr 16 hours ago | 120 comments
18Show HN: Aircad – Professional drafting and 3D modeling in the browser aircad.com
49 points by peetle 1 day ago | 22 comments
19The Utah Teapot graphics.cs.utah.edu
166 points by cobbal 17 hours ago | 39 comments
20Legocam: My Lego webcam from 2000, working on a modern Mac blog.benjamin.ie
29 points by benkelly 2 days ago | 26 comments
21Hyper-realistic sand with WebGL2 av.github.io
408 points by everlier 23 hours ago | 77 comments
22My AI agents found an unmapped Maya site? pietromiotti.com
1009 points by eyvindn 1 day ago | 370 comments
23A general purpose Apple Silicon layer for x86-64 PCs github.com
118 points by iceboundrock 14 hours ago | 48 comments
24Show HN: Yogurt – Free, private, open-source alternative to Granola github.com
263 points by brownrout 21 hours ago | 98 comments
25Faster Retrieval for Better, More Efficient RAG machinelearning.apple.com
218 points by zerop 20 hours ago | 38 comments
26Did Life Begin in an RNA World? www.quantamagazine.org
70 points by acossta 2 days ago | 43 comments
27Using voltage glitching to unleash the A100 in my mining card blog.kate.land
322 points by lae 1 day ago | 126 comments
28Huawei releases MACaQ, its internal quantizer for local inference github.com
120 points by thefox96 16 hours ago | 29 comments
29Lean Grimoire terrytao.wordpress.com
51 points by smilelamp 10 hours ago | 8 comments
30