A bug on the dark side of the Moon
Summary
A historically grounded analysis of an undocumented bug in the Apollo 11 guidance computer reveals a latent LGYRO lock leak. The piece demonstrates how AI-driven specification tools (Allium) and AI assistance (Claude) can uncover defects overlooked by traditional testing, with implications for modern safety-critical and legacy systems.