laurent.orseau2022-5-22 18:43:10https://thenewstack.io/nasa-programmer-remembers-debugging-lisp-in-deep-space/\|https://thenewstack.io/nasa-programmer-remembers-debugging-lisp-in-deep-space/ soegaard22022-5-22 18:54:50The podcast is here: https://corecursive.com/lisp-in-space-with-ron-garret/ seanbunderwood2022-5-22 18:56:45Fun lesson about formal methods in there.