Researchers used Claude and Allium (an open-source behavioral specification language) to distil 130,000 lines of Apollo Guidance Computer assembly into 12,500 lines of specifications, revealing a resource leak bug in the gyro control code that had gone undetected for 57 years.
Research
We found an undocumented bug in the Apollo 11 guidance computer code
Researchers used Claude and formal specification language Allium to distil Apollo 11's 130k-line guidance code into 12.5k specifications, uncovering a 57-year-old resource leak bug in the gyro control logic.
Tuesday, April 7, 2026 12:00 PM UTC2 MIN READSOURCE: Hacker NewsBY sys://pipeline
Tags
research