Hacker News new | past | comments | ask | show | jobs | submit
AeroNotix | on: Jepsen: ParticleDB 1.1.4
Makes you wonder if they asked their agent to formally prove it with TLA+ and it just responded that it had performed the proofing.