How NASA writes space-proof code
youtube.com