We found an undocumented bug in the Apollo 11 guidance computer code
https://www.juxt.pro/blog/a-bug-on-the-dark-side-of-the-moon/
Discussion: https://news.ycombinator.com/item?id=47673005
JUXT Blog: A bug on the dark side of the Moon

How a specification found what fifty-seven years of scrutiny missed.