1.
AlphaProof Code
290 points by ilreb 4 hours ago | 109 comments
2.
NetBSD 11 desktop on a Raspberry Pi 4
48 points by jaypatelani 3 days ago | 6 comments
3.
Amazon saves millions by replacing Sonnet 4.6 with Strands Decider
495 points by aloukissas 10 hours ago | 178 comments
4.
Claude Fable 5.2 and Mythos 5.2
758 points by lairv 22 hours ago | 902 comments
5.
Queens Public library under ransomware attack e-borrowing suspended
105 points by rustyhancock 7 hours ago | 77 comments
6.
Show HN: A 15 MB self-hosted Netflix and Spotify for your media server
101 points by CoderLuii 4 hours ago | 51 comments
8.
USPS now offers official ZIP Code boundary polygons
685 points by munro 20 hours ago | 347 comments
10.
Simon Winchester, Author of 'The Professor and the Madman,' Has Died
32 points by benbreen 3 days ago | 10 comments
11.
Show HN: Ghanaian street games you can play in the browser
50 points by samuelaidoo45 2 days ago | 9 comments
12.
Let over Lambda–50 Years of Lisp (2008)
17 points by theanonymousone 3 hours ago | 2 comments
13.
Your TV can see through walls
213 points by Curiositry 10 hours ago | 90 comments
14.
Ableton Live 13
104 points by phaser 3 hours ago | 112 comments
15.
'C:\> FORMAT C:' – relax, it's just a screen saver
42 points by TheIncredibleCh 5 hours ago | 32 comments
16.
Taking another shot at the cheap IP camera, part 2
14 points by ericswpark 2 days ago | 2 comments
17.
Fireworks AI security breach impacts Notion and their customers
109 points by werrett 8 hours ago | 37 comments
18.
Billion Watts in the Speaker [video]
69 points by Element_ 3 days ago | 32 comments
19.
Foldable Flight: The Best Paper Airplanes
1121 points by vismit2000 2 days ago | 158 comments
20.
Building an Order RISC-V CPU from scratch
4 points by random__duck 5 days ago | discuss
21.
Locating the source of a mysterious beep
264 points by bigwheels 16 hours ago | 133 comments
22.
How hard is it to check for whitespace?
86 points by theanonymousone 5 days ago | 20 comments
23.
Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system
560 points by ocd 24 hours ago | 321 comments
24.
E-means: Outperforming k-means in one-tenth the epochs
452 points by porridgeraisin 21 hours ago | 61 comments
25.
Anthropic launches roadshow for proposed initial public offering
12 points by davidbarker 4 hours ago | 6 comments
26.
Horible public key tricks
211 points by Curiositry 16 hours ago | 72 comments
27.
Ultorg: The User Interface for Relational Databases
112 points by Ivoah 12 hours ago | 38 comments
28.
ClickHouse Acquires Xata
75 points by mebcitto 10 hours ago | 7 comments
29.
What's new in the .NET 11 runtime
54 points by stevefan1999 3 hours ago | 16 comments
30.
Semi-transparent, colored cadmium telluride photovoltaic panels in agrivoltaics
337 points by speckx 2 days ago | 227 comments