> On 5 Mar 2026, at 18:14, Charlie Gibbs <[email protected]> wrote: >> The Space >> Shuttle system had three processors run the same computation as a check. > > And, IIRC, the third one was built and programmed by a different outfit. NASA has been using multiple systems programmed by team that do not know each other or share code on all(?) missions at least back to Apollo. There was a shuttle launch that was scrubbed because the computers disagreed. That was traced back to poor wording in the program specs. The spec used a colloquial phrase that meant different things in different parts of the usa. Barry -- https://mail.python.org/mailman3//lists/python-list.python.org
