3 ms·

Or, someone who would thoroughly test such a system and formally verify it long before use, as it would literally be a life or death thing...

• pc86 3y ago
  Oh right we'll just "formally verify it," all good then!
  • klibertp 3y ago
    What's closer to "bug-free" (here, inside the cave) than formally verified software running on verified hardware in a distributed[1] system? [1] Because "you can't type-check being hit by lightning"...
  • lapetitejort 3y ago
    It works on my brain