Data types and assumptions and how incorrect assumptions made a spacecraft crash | Dark Hacker News