undefined | Better HN

0 pointsnanolith2y ago0 comments

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

0 comments

pc862y ago

Oh right we'll just "formally verify it," all good then!

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

It works on my brain

j / k navigate · click thread line to collapse

pc862y ago

Oh right we'll just "formally verify it," all good then!

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

It works on my brain

j / k navigate · click thread line to collapse