HN.zip
  1. 1
    AlphaProof Code (deepmind.google)319 points by - 111 comments
  2. 2
    NetBSD 11 desktop on a Raspberry Pi 4 (neongd.com)57 points by - 6 comments
  3. 3
    Amazon saves millions by replacing Sonnet 4.6 with Strands Decider (strandsagents.com)517 points by - 179 comments
  4. 4
    The Hardest Tarball? (stoppels.ch)20 points by - 1 comments
  5. 5
    Claude Fable 5.2 and Mythos 5.2 (anthropic.com)770 points by - 904 comments
  6. 6
    Queens Public library under ransomware attack e-borrowing suspended (queenslibrary.org)112 points by - 79 comments
  7. 7
    Taking another shot at the cheap IP camera, part 2 (ericswpark.com)23 points by - 7 comments
  8. 8
    Show HN: A 15 MB self-hosted Netflix and Spotify for your media server (github.com/holyarrs)119 points by - 54 comments
  9. 9
    Here comes the sun[light]:An ambient Daylight Clock with time and space controls (hannahilea.com)21 points by - 0 comments
  10. 10
    Show HN: Ghanaian street games you can play in the browser (ghanastreetgames.com)59 points by - 8 comments
  11. 11
    Let over Lambda–50 Years of Lisp (2008) (letoverlambda.com)27 points by - 3 comments
  12. 12
    USPS now offers official ZIP Code boundary polygons (usps.com)690 points by - 351 comments
  13. 13
    Simon Winchester, Author of 'The Professor and the Madman,' Has Died (nytimes.com)36 points by - 10 comments
  14. 14
    'C:\> FORMAT C:' – relax, it's just a screen saver (fakedos.com)49 points by - 34 comments
  15. 15
    Ableton Live 13 (ableton.com)118 points by - 116 comments
  16. 16
    Your TV can see through walls (2025) (maurycyz.com)221 points by - 96 comments
  17. 17
    Fireworks AI security breach impacts Notion and their customers (notion.com)116 points by - 40 comments
  18. 18
    Anthropic launches roadshow for proposed initial public offering (anthropic.com)19 points by - 25 comments
  19. 19
    Building an Order RISC-V CPU from scratch (prawns.dev)6 points by - 1 comments
  20. 20
    Foldable Flight: The Best Paper Airplanes (foldableflight.com)1125 points by - 159 comments
  21. 21
    Billion Watts in the Speaker [video] (youtube.com)69 points by - 32 comments
  22. 22
    E-means: Outperforming k-means in one-tenth the epochs (e-means.github.io)460 points by - 61 comments
  23. 23
    Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system (payments.ca)563 points by - 326 comments
  24. 24
    Locating the source of a mysterious beep (simonwillison.net)265 points by - 133 comments
  25. 25
    How hard is it to check for whitespace? (serce.me)89 points by - 21 comments
  26. 26
    Horible public key tricks (maurycyz.com)217 points by - 72 comments
  27. 27
    Ultorg: The User Interface for Relational Databases (ultorg.com)116 points by - 39 comments
  28. 28
    What's new in the .NET 11 runtime (learn.microsoft.com)62 points by - 19 comments
  29. 29
    ClickHouse Acquires Xata (xata.io)81 points by - 7 comments
  30. 30
    Semi-transparent, colored cadmium telluride photovoltaic panels in agrivoltaics (anthropocenemagazine.org)339 points by - 229 comments