📰 2026-04-07 19:00 更新
🔸 We found an undocumented bug in the Apollo 11 guidance computer code / 我们在阿波罗11号制导计算机代码中发现了一个未记录的错误
🔗 We found an undocumented bug in the Apollo 11 guidance computer code
🔥 7 points
原文:
The Apollo Guidance Computer (AGC) is one of the most scrutinised codebases in history. Thousands of developers have read it. Academics have published papers on its reliability. Emulators run it instruction by instruction. We found a bug in it that had been missed for fifty-seven years: a resource lock in the gyro control code that leaks on an error path, silently disabling the guidance platform’s ability to realign. We used Claude and Allium, our open-source behavioural specification languag…
译文:
阿波罗制导计算机（ AGC ）是历史上最受关注的代码库之一。成千上万的开发人员已经阅读了它。学者们就其可靠性发表了论文。仿真器通过指令运行it指令。我们在其中发现了一个已经遗漏了五十七年的错误：陀螺仪控制代码中的资源锁定在错误路径上泄漏，无声地禁用了制导平台的重新调整能力。我们使用Claude和Allium ， ou r开源行为规范语言……
自动更新 · 正文抓取 · 双语翻译