AlphaProof Code

339 points117 comments

The Hardest Tarball?

35 points1 comments

Amazon saves millions by replacing Sonnet 4.6 with Strands Decider

534 points194 comments

NetBSD 11 desktop on a Raspberry Pi 4

62 points17 comments

Claude Fable 5.2 and Mythos 5.2

780 points920 comments

Taking another shot at the cheap IP camera, part 2

32 points13 comments

Queens Public library under ransomware attack e-borrowing suspended

121 points84 comments

Here comes the sun[light]:An ambient Daylight Clock with time and space controls

26 points0 comments

Show HN: Ghanaian street games you can play in the browser

65 points11 comments

Let over Lambda–50 Years of Lisp (2008)

31 points3 comments

Show HN: A 15 MB self-hosted Netflix and Spotify for your media server

131 points68 comments

USPS now offers official ZIP Code boundary polygons

693 points357 comments

Simon Winchester, Author of 'The Professor and the Madman,' Has Died

39 points12 comments

Your TV can see through walls (2025)

224 points98 comments

Ableton Live 13

129 points140 comments

Fireworks AI security breach impacts Notion and their customers

121 points41 comments

'C:\> FORMAT C:' – relax, it's just a screen saver

53 points39 comments

Foldable Flight: The Best Paper Airplanes

1130 points158 comments

E-means: Outperforming k-means in one-tenth the epochs

462 points68 comments

Locating the source of a mysterious beep

271 points137 comments

Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system

563 points326 comments

Billion Watts in the Speaker [video]

72 points37 comments

Building an Order RISC-V CPU from scratch

9 points4 comments

The Death Knell of Digital Search

4 points1 comments

How hard is it to check for whitespace?

91 points22 comments

Horible public key tricks

220 points73 comments

What's new in the .NET 11 runtime

71 points23 comments

Ultorg: The User Interface for Relational Databases

118 points39 comments

ClickHouse Acquires Xata

84 points9 comments

Semi-transparent, colored cadmium telluride photovoltaic panels in agrivoltaics

340 points231 comments