Bootstrapping the Verified Software Stack

my friend (not using nix yet) sent me this

1 Like

I am having reading comprehension problems and I am not afraid to admit it.

Are they planning to verify a binary closure in 5 years for half a billion dollars? Do they have any plan how to re-verify for a reasonable cost after gcc version bump?

5 Likes