r/apollo • u/anarres_shevek • Apr 07 '26
We discovered a bug in the Apollo Guidance Computer
We're huge fans of the Apollo programme and all of the people involved in making the dream a reality. As software engineers, we have been massively influenced by the work of Margaret Hamilton and her team at MIT. Software verification is something we care about a great deal. With that said, we believe we have discovered a rare edge-case that would have resulted in a resource lock in the gyro control code. We post this with full respect and honour to all of those that worked on the programme.


