1. Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf] (www.cis.upenn.edu)
    43 points by JackeJR 3 days | 7 comments
  2. Code is run more than read (2023) (olano.dev)
    17 points by facundo_olano about 1 hour | 1 comments
  3. CPU-Z and HWMonitor Compromised (old.reddit.com)
    49 points by Wingy 38 minutes | 7 comments
  4. FBI used iPhone notification data to retrieve deleted Signal messages (9to5mac.com)
    282 points by 01-_- about 4 hours | 131 comments
  5. How NASA built Artemis II’s fault-tolerant computer (cacm.acm.org)
    512 points by speckx 1 day | 194 comments
  6. Intel 486 CPU announced April 10, 1989 (dfarq.homeip.net)
    105 points by jnord about 3 hours | 85 comments
  7. A new trick brings stability to quantum operations (ethz.ch)
    191 points by joko42 about 11 hours | 45 comments
  8. I still prefer MCP over skills (david.coffee)
    327 points by gmays about 13 hours | 277 comments
  9. Deterministic Primality Testing for Limited Bit Width (www.jeremykun.com)
    6 points by ibobev 2 days | discuss
  10. Model-Based Testing for Dungeons & Dragons (www.loskutoff.com)
    79 points by Firfi 3 days | 31 comments
  11. Penguin 'Toxicologists' Find PFAS Chemicals in Remote Patagonia (www.ucdavis.edu)
    74 points by giuliomagnifico about 9 hours | 27 comments
  12. Native Instant Space Switching on macOS (arhan.sh)
    580 points by PaulHoule about 19 hours | 283 comments
  13. OpenAI backs Illinois bill that would limit when AI labs can be held liable (www.wired.com)
    326 points by smurda about 2 hours | 224 comments
  14. We've raised $17M to build what comes after Git (blog.gitbutler.com)
    232 points by ellieh about 13 hours | 500 comments
  15. Show HN: Marimo pair – Reactive Python notebooks as environments for agents (github.com)
    64 points by manzt 3 days | 12 comments
  16. RAM Has a Design Flaw from 1966. I Bypassed It [video] (www.youtube.com)
    327 points by surprisetalk 3 days | 118 comments
  17. Tech job relocation market is recovering. The competition is growing faster (relocateme.substack.com)
    20 points by andrewstetsenko about 1 hour | 1 comments
  18. Artemis II and the invisible hazard on the way to the Moon (www.ansto.gov.au)
    60 points by zeristor about 8 hours | 47 comments
  19. Show HN: QVAC SDK, a universal JavaScript SDK for building local AI applications
    21 points by qvac about 20 hours | 4 comments
  20. Show HN: Keeper – embedded secret store for Go (help me break it) (github.com)
    50 points by babawere about 6 hours | 26 comments
  21. Generative art over the years (blog.veitheller.de)
    204 points by evakhoury 3 days | 53 comments
  22. US summons bank bosses over cyber risks from Anthropic's latest AI model (www.theguardian.com)
    14 points by ascold about 1 hour | 1 comments
  23. CollectWise (YC F24) Is Hiring (www.ycombinator.com)
    about 11 hours
  24. Charcuterie – Visual similarity Unicode explorer (charcuterie.elastiq.ch)
    278 points by rickcarlino about 19 hours | 64 comments
  25. The Art of Risk Management (2017) (www.bcg.com)
    38 points by walterbell 2 days | 11 comments
  26. Old laptops in a colo as low cost servers (colaptop.pages.dev)
    354 points by argentum47 about 21 hours | 209 comments
  27. Bluesky users are mastering the fine art of blaming everything on "vibe coding" (arstechnica.com)
    13 points by ulrischa 41 minutes | discuss
  28. Unfolder for Mac – A 3D model unfolding tool for creating papercraft (www.unfolder.app)
    287 points by codazoda about 22 hours | 55 comments
  29. Supply chain nightmare: How Rust will be attacked and what we can do to mitigate (kerkour.com)
    7 points by fanf2 34 minutes | discuss
  30. Born Private: Reserve your child's first email address with Proton (proton.me)
    4 points by teekert 9 minutes | discuss
More