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 c

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"...