• AlphaProof Code

  327 points by ilreb 3 hours | hide | 35 comments
• Amazon saves millions by replacing Sonnet 4.6 with Strands Decider

  522 points by aloukissas 9 hours | hide | 45 comments
• NetBSD 11 desktop on a Raspberry Pi 4

  59 points by jaypatelani 2 days | hide | 7 comments
• The Hardest Tarball?

  24 points by thatslast 43 minutes | hide | 1 comments
• Claude Fable 5.2 and Mythos 5.2

  772 points by lairv 21 hours | hide | 157 comments
• Queens Public library under ransomware attack e-borrowing suspended

  114 points by rustyhancock 6 hours | hide | 10 comments
• Taking another shot at the cheap IP camera, part 2

  24 points by ericswpark 1 days | hide | 5 comments
• Let over Lambda–50 Years of Lisp (2008)

  29 points by theanonymousone 3 hours | hide | 4 comments
• Show HN: Ghanaian street games you can play in the browser

  62 points by samuelaidoo45 2 days | hide | 10 comments
• Here comes the sun[light]:An ambient Daylight Clock with time and space controls

  23 points by evakhoury 19 hours | hide | 2 comments
• Show HN: A 15 MB self-hosted Netflix and Spotify for your media server

  124 points by CoderLuii 3 hours | hide | 22 comments
• USPS now offers official ZIP Code boundary polygons

  691 points by munro 19 hours | hide | 51 comments
• Simon Winchester, Author of 'The Professor and the Madman,' Has Died

  37 points by benbreen 2 days | hide | 10 comments
• Ableton Live 13

  123 points by phaser 2 hours | hide | 26 comments
• Your TV can see through walls (2025)

  222 points by Curiositry 10 hours | hide | 25 comments
• 'C:\> FORMAT C:' – relax, it's just a screen saver

  50 points by TheIncredibleCh 5 hours | hide | 18 comments
• Anthropic launches roadshow for proposed initial public offering

  22 points by davidbarker 4 hours | hide | 12 comments
• Fireworks AI security breach impacts Notion and their customers

  118 points by werrett 8 hours | hide | 19 comments
• Building an Order RISC-V CPU from scratch

  7 points by random__duck 4 days | hide | 3 comments
• Foldable Flight: The Best Paper Airplanes

  1127 points by vismit2000 1 days | hide | 58 comments
• Billion Watts in the Speaker [video]

  69 points by Element_ 2 days | hide | 13 comments
• E-means: Outperforming k-means in one-tenth the epochs

  460 points by porridgeraisin 20 hours | hide | 23 comments
• Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system

  563 points by ocd 23 hours | hide | 50 comments
• The Death Knell of Digital Search

  4 points by bookofjoe 1 hours | hide | 1 comments
• Locating the source of a mysterious beep

  266 points by bigwheels 15 hours | hide | 46 comments
• How hard is it to check for whitespace?

  89 points by theanonymousone 4 days | hide | 11 comments
• Horible public key tricks

  219 points by Curiositry 15 hours | hide | 17 comments
• Wake me up when AI can...

  5 points by signa11 1 hours | hide | comments
• Ultorg: The User Interface for Relational Databases

  116 points by Ivoah 11 hours | hide | 17 comments
• What's new in the .NET 11 runtime

  67 points by stevefan1999 3 hours | hide | 4 comments