How NASA writes space-proof code | Hacker News Reader