- 15 Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf] (cis.upenn.edu)
- 91 Intel 486 CPU announced April 10, 1989 (dfarq.homeip.net)
- 185 Protected quantum gates using qubit doublons in dynamical optical lattices (ethz.ch)
- 483 How NASA built Artemis II’s fault-tolerant computer (cacm.acm.org)
- 283 OpenAI Backs Bill That Would Limit Liability for AI-Enabled Mass Deaths (wired.com)
- 202 FBI used iPhone notification data to retrieve deleted Signal messages (9to5mac.com)
- 744 France Launches Government Linux Desktop Plan as Windows Exit Begins (numerique.gouv.fr)
- 302 I still prefer MCP over skills (david.coffee)
- 73 Model-Based Testing for Dungeons & Dragons (loskutoff.com)
- 107 White House staff told not to place bets on prediction markets (bbc.co.uk)
- 9 Show HN: QVAC SDK, a universal JavaScript SDK for building local AI applications ()
- 574 Native Instant Space Switching on macOS (arhan.sh)
- 66 Penguin 'Toxicologists' Find PFAS Chemicals in Remote Patagonia (ucdavis.edu)
- 53 Artemis II and the invisible hazard on the way to the Moon (ansto.gov.au)
- 25 The effects of caffeine consumption do not decay with a ~5 hour half-life (lesswrong.com)
- 54 Show HN: Marimo pair – Reactive Python notebooks as environments for agents (github.com)
- 44 Show HN: Keeper – embedded secret store for Go (help me break it) (github.com)
- 217 We've raised $17M to build what comes after Git (blog.gitbutler.com)
- 22 Ads in ChatGPT (help.openai.com)
- 3 Deterministic Primality Testing for Limited Bit Width (jeremykun.com)
- 199 Generative art over the years (blog.veitheller.de)
- 274 Charcuterie – Visual similarity Unicode explorer (charcuterie.elastiq.ch)
- CollectWise (YC F24) Is Hiring (ycombinator.com)
job - 33 The Art of Risk Management (2017) (bcg.com)
- 314 RAM Has a Design Flaw from 1966. I Bypassed It [video] (youtube.com)
- 346 Old laptops in a colo as low cost servers (colaptop.pages.dev)
- 278 Unfolder for Mac – A 3D model unfolding tool for creating papercraft (unfolder.app)
- 186 Instant 1.0, a backend for AI-coded apps (instantdb.com)
- 139 Kagi Product Tips – Customize Your Search Results with URL Redirects (blog.kagi.com)
- 213 PicoZ80 – Drop-In Z80 Replacement (eaw.app)