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