AlphaProof Code deepmind.google
350 points by ilreb 3 hours ago | 122 comments
1The Hardest Tarball? stoppels.ch
55 points by thatslast 1 hour ago | 1 comment
2Amazon saves millions by replacing Sonnet 4.6 with Strands Decider strandsagents.com
542 points by aloukissas 10 hours ago | 194 comments
3NetBSD 11 desktop on a Raspberry Pi 4 neongd.com
66 points by jaypatelani 2 days ago | 20 comments
4Claude Fable 5.2 and Mythos 5.2 www.anthropic.com
786 points by lairv 22 hours ago | 924 comments
5Taking another shot at the cheap IP camera, part 2 ericswpark.com
34 points by ericswpark 1 day ago | 16 comments
6Queens Public library under ransomware attack e-borrowing suspended connect.queenslibrary.org
128 points by rustyhancock 7 hours ago | 86 comments
7Here comes the sun[light]:An ambient Daylight Clock with time and space controls hannahilea.com
29 points by evakhoury 20 hours ago | 1 comment
8The Death Knell of Digital Search www.newyorker.com
13 points by bookofjoe 1 hour ago | 3 comments
9Show HN: Ghanaian street games you can play in the browser www.ghanastreetgames.com
66 points by samuelaidoo45 2 days ago | 11 comments
10Simon Winchester, Author of 'The Professor and the Madman,' Has Died www.nytimes.com
44 points by benbreen 2 days ago | 12 comments
11Let over Lambda–50 Years of Lisp (2008) letoverlambda.com
34 points by theanonymousone 3 hours ago | 5 comments
12USPS now offers official ZIP Code boundary polygons postalpro.usps.com
694 points by munro 20 hours ago | 359 comments
13Your TV can see through walls (2025) maurycyz.com
226 points by Curiositry 10 hours ago | 98 comments
14'C:\> FORMAT C:' – relax, it's just a screen saver fakedos.com
55 points by TheIncredibleCh 5 hours ago | 41 comments
15Fireworks AI security breach impacts Notion and their customers www.notion.com
123 points by werrett 8 hours ago | 43 comments
16Show HN: A 15 MB self-hosted Netflix and Spotify for your media server github.com
137 points by CoderLuii 4 hours ago | 73 comments
17Foldable Flight: The Best Paper Airplanes www.foldableflight.com
1135 points by vismit2000 1 day ago | 159 comments
18Ableton Live 13 www.ableton.com
131 points by phaser 3 hours ago | 151 comments
19Locating the source of a mysterious beep simonwillison.net
274 points by bigwheels 15 hours ago | 138 comments
20Billion Watts in the Speaker [video] www.youtube.com
75 points by Element_ 2 days ago | 39 comments
21E-means: Outperforming k-means in one-tenth the epochs e-means.github.io
462 points by porridgeraisin 21 hours ago | 68 comments
22Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system www.payments.ca
563 points by ocd 1 day ago | 326 comments
23Building an Order RISC-V CPU from scratch prawns.dev
10 points by random__duck 4 days ago | 4 comments
24How hard is it to check for whitespace? serce.me
96 points by theanonymousone 4 days ago | 24 comments
25Horible public key tricks maurycyz.com
221 points by Curiositry 15 hours ago | 77 comments
26What's new in the .NET 11 runtime learn.microsoft.com
79 points by stevefan1999 3 hours ago | 24 comments
27Ultorg: The User Interface for Relational Databases www.ultorg.com
119 points by Ivoah 12 hours ago | 40 comments
28ClickHouse Acquires Xata xata.io
85 points by mebcitto 9 hours ago | 9 comments
29.NET 11 devblogs.microsoft.com
4 points by runesoerensen 3 minutes ago | 0 comments
30