3 ms·

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