How NASA writes space-proof code · HackerTrans