My 500M Mars rover mistake (2023)

Discussed at the time (of the article):

My $500M Mars rover mistake - https://news.ycombinator.com/item?id=38452959 - Nov 2023 (343 comments)