Writing programs that work is indeed hard. I suspect that the folks writing code for space exploration are good at their job. But it is different dealing with adversarial behavior.
> But it is different dealing with adversarial behavior.
That's your opinion. Integration tests on another planet are just as hard as integration tests across a crypto bridge. One can even argue that an integration test on another planet is more difficult.
That's your opinion. Integration tests on another planet are just as hard as integration tests across a crypto bridge. One can even argue that an integration test on another planet is more difficult.