How NASA writes space-proof code | Dark Hacker News