A BUG ON THE DARK SIDE OF THE MOON

Summary from the TLDR Dev newsletter

JUXT used its spec tool, Allium, to find a critical four-byte omission in the Apollo Guidance Computer code that failed to release a gyroscope resource lock during a mid-torque "cage" event. This shows the power of behavioral specification in surfacing deep-seated bugs that thousands of people missed for decades.