AlphaProof Code (deepmind.google)
308 points by ilreb 3 hours ago | 112 comments
NetBSD 11 desktop on a Raspberry Pi 4 (neongd.com)
52 points by jaypatelani 2 days ago | 9 comments
Amazon saves millions by replacing Sonnet 4.6 with Strands Decider (strandsagents.com)
508 points by aloukissas 9 hours ago | 184 comments
The Hardest Tarball? (stoppels.ch)
16 points by thatslast 28 minutes ago | 1 comments
Claude Fable 5.2 and Mythos 5.2 (anthropic.com)
767 points by lairv 21 hours ago | 906 comments
Queens Public library under ransomware attack e-borrowing suspended (connect.queenslibrary.org)
109 points by rustyhancock 6 hours ago | 79 comments
Taking another shot at the cheap IP camera, part 2 (ericswpark.com)
20 points by ericswpark a day ago | 5 comments
Here comes the sun[light]:An ambient Daylight Clock with time and space controls (hannahilea.com)
20 points by evakhoury 19 hours ago | 0 comments
Show HN: A 15 MB self-hosted Netflix and Spotify for your media server (github.com)
113 points by CoderLuii 4 hours ago | 55 comments
Show HN: Ghanaian street games you can play in the browser (ghanastreetgames.com)
57 points by samuelaidoo45 2 days ago | 9 comments
USPS now offers official ZIP Code boundary polygons (postalpro.usps.com)
689 points by munro 19 hours ago | 352 comments
Simon Winchester, Author of 'The Professor and the Madman,' Has Died (nytimes.com)
35 points by benbreen 2 days ago | 10 comments
Ableton Live 13 (ableton.com)
112 points by phaser 3 hours ago | 119 comments
'C:\> FORMAT C:' – relax, it's just a screen saver (fakedos.com)
46 points by TheIncredibleCh 5 hours ago | 34 comments
Your TV can see through walls (2025) (maurycyz.com)
219 points by Curiositry 10 hours ago | 94 comments
Let over Lambda–50 Years of Lisp (2008) (letoverlambda.com)
20 points by theanonymousone 3 hours ago | 3 comments
Building an Order RISC-V CPU from scratch (prawns.dev)
5 points by random__duck 4 days ago | 2 comments
Fireworks AI security breach impacts Notion and their customers (notion.com)
112 points by werrett 8 hours ago | 40 comments
Anthropic launches roadshow for proposed initial public offering (anthropic.com)
15 points by davidbarker 4 hours ago | 16 comments
Billion Watts in the Speaker [video] (youtube.com)
69 points by Element_ 3 days ago | 32 comments
Foldable Flight: The Best Paper Airplanes (foldableflight.com)
1122 points by vismit2000 a day ago | 158 comments
Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system (payments.ca)
563 points by ocd a day ago | 324 comments
Locating the source of a mysterious beep (simonwillison.net)
265 points by bigwheels 15 hours ago | 135 comments
E-means: Outperforming k-means in one-tenth the epochs (e-means.github.io)
456 points by porridgeraisin 21 hours ago | 62 comments
How hard is it to check for whitespace? (serce.me)
88 points by theanonymousone 4 days ago | 20 comments
Ultorg: The User Interface for Relational Databases (ultorg.com)
116 points by Ivoah 11 hours ago | 38 comments
Horible public key tricks (maurycyz.com)
212 points by Curiositry 15 hours ago | 73 comments
What's new in the .NET 11 runtime (learn.microsoft.com)
58 points by stevefan1999 3 hours ago | 17 comments
ClickHouse Acquires Xata (xata.io)
76 points by mebcitto 9 hours ago | 7 comments
Semi-transparent, colored cadmium telluride photovoltaic panels in agrivoltaics (anthropocenemagazine.org)
338 points by speckx a day ago | 228 comments