Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf]

46 points • 8 comments • 3 days ago • cis.upenn.edu

CPU-Z and HWMonitor Compromised

56 points • 7 comments • 59 minutes ago • old.reddit.com

Code is run more than read (2023)

24 points • 3 comments • 1 hour ago • olano.dev

FBI used iPhone notification data to retrieve deleted Signal messages

286 points • 138 comments • 4 hours ago • 9to5mac.com

How NASA built Artemis II’s fault-tolerant computer

515 points • 208 comments • 1 day ago • cacm.acm.org

A new trick brings stability to quantum operations

191 points • 49 comments • 12 hours ago • ethz.ch

France to ditch Windows for Linux to reduce reliance on US tech

13 points • 2 comments • 16 minutes ago • techcrunch.com

I still prefer MCP over skills

328 points • 306 comments • 14 hours ago • david.coffee

Penguin 'Toxicologists' Find PFAS Chemicals in Remote Patagonia

77 points • 28 comments • 9 hours ago • ucdavis.edu

Model-Based Testing for Dungeons & Dragons

79 points • 34 comments • 3 days ago • loskutoff.com

Intel 486 CPU announced April 10, 1989

107 points • 92 comments • 4 hours ago • dfarq.homeip.net

Deterministic Primality Testing for Limited Bit Width

6 points • 0 comments • 2 days ago • jeremykun.com

Native Instant Space Switching on macOS

581 points • 290 comments • 20 hours ago • arhan.sh

C++: Freestanding Standard Library

4 points • 0 comments • 2 days ago • sandordargo.com

Tech job relocation market is recovering. The competition is growing faster

27 points • 9 comments • 1 hour ago • relocateme.substack.com

We've raised $17M to build what comes after Git

233 points • 522 comments • 14 hours ago • blog.gitbutler.com

Show HN: Marimo pair – Reactive Python notebooks as environments for agents

64 points • 15 comments • 3 days ago • github.com

OpenAI backs Illinois bill that would limit when AI labs can be held liable

328 points • 236 comments • 2 hours ago • wired.com

DRAM has a design flaw from 1966. I bypassed it [video]

327 points • 132 comments • 3 days ago • youtube.com

Artemis II and the invisible hazard on the way to the Moon

60 points • 50 comments • 9 hours ago • ansto.gov.au