https://thenewstack.io/nasa-programmer-remembers-debugging-lisp-in-deep-space/\|https://thenewstack.io/nasa-programmer-remembers-debugging-lisp-in-deep-space/

The podcast is here: https://corecursive.com/lisp-in-space-with-ron-garret/

Fun lesson about formal methods in there.