AlphaProof Code deepmind.google
331 points by ilreb 3 hours ago | 116 comments
1Amazon saves millions by replacing Sonnet 4.6 with Strands Decider strandsagents.com
527 points by aloukissas 9 hours ago | 193 comments
2NetBSD 11 desktop on a Raspberry Pi 4 neongd.com
60 points by jaypatelani 2 days ago | 15 comments
3The Hardest Tarball? stoppels.ch
28 points by thatslast 47 minutes ago | 1 comment
4Claude Fable 5.2 and Mythos 5.2 www.anthropic.com
776 points by lairv 21 hours ago | 914 comments
5Queens Public library under ransomware attack e-borrowing suspended connect.queenslibrary.org
117 points by rustyhancock 6 hours ago | 80 comments
6Taking another shot at the cheap IP camera, part 2 ericswpark.com
27 points by ericswpark 1 day ago | 12 comments
7Let over Lambda–50 Years of Lisp (2008) letoverlambda.com
30 points by theanonymousone 3 hours ago | 3 comments
8Show HN: Ghanaian street games you can play in the browser www.ghanastreetgames.com
62 points by samuelaidoo45 2 days ago | 10 comments
9Here comes the sun[light]:An ambient Daylight Clock with time and space controls hannahilea.com
24 points by evakhoury 19 hours ago | 0 comments
10Show HN: A 15 MB self-hosted Netflix and Spotify for your media server github.com
127 points by CoderLuii 3 hours ago | 65 comments
11USPS now offers official ZIP Code boundary polygons postalpro.usps.com
693 points by munro 19 hours ago | 356 comments
12Simon Winchester, Author of 'The Professor and the Madman,' Has Died www.nytimes.com
38 points by benbreen 2 days ago | 12 comments
13Ableton Live 13 www.ableton.com
127 points by phaser 2 hours ago | 136 comments
14Your TV can see through walls (2025) maurycyz.com
223 points by Curiositry 10 hours ago | 97 comments
15Wake me up when AI can... stoppels.ch
8 points by signa11 1 hour ago | 0 comments
16Anthropic launches roadshow for proposed initial public offering www.anthropic.com
26 points by davidbarker 4 hours ago | 33 comments
17'C:\> FORMAT C:' – relax, it's just a screen saver fakedos.com
51 points by TheIncredibleCh 5 hours ago | 38 comments
18Fireworks AI security breach impacts Notion and their customers www.notion.com
120 points by werrett 8 hours ago | 41 comments
19Foldable Flight: The Best Paper Airplanes www.foldableflight.com
1128 points by vismit2000 1 day ago | 158 comments
20Building an Order RISC-V CPU from scratch prawns.dev
8 points by random__duck 4 days ago | 4 comments
21Billion Watts in the Speaker [video] www.youtube.com
70 points by Element_ 2 days ago | 36 comments
22E-means: Outperforming k-means in one-tenth the epochs e-means.github.io
462 points by porridgeraisin 21 hours ago | 64 comments
23Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system www.payments.ca
563 points by ocd 23 hours ago | 325 comments
24Locating the source of a mysterious beep simonwillison.net
266 points by bigwheels 15 hours ago | 136 comments
25The Death Knell of Digital Search www.newyorker.com
4 points by bookofjoe 1 hour ago | 1 comment
26How hard is it to check for whitespace? serce.me
89 points by theanonymousone 4 days ago | 21 comments
27Horible public key tricks maurycyz.com
219 points by Curiositry 15 hours ago | 73 comments
28Ultorg: The User Interface for Relational Databases www.ultorg.com
116 points by Ivoah 11 hours ago | 39 comments
29What's new in the .NET 11 runtime learn.microsoft.com
67 points by stevefan1999 3 hours ago | 21 comments
30