On: Stop Writing Dead Programs [video]

[nequo]

> It sounds nice in theory, but as the saying goes

Listen to Ron Garret’s interview on Corecursive.[1] He sent verified Lisp code to Mars at NASA. The code failed but the debugger popped up and they were able to recover from it. Look for “Debugging Code in Space” and “Sending S-Expressions” in the time stamps.

[1] https://corecursive.com/lisp-in-space-with-ron-garret/

[grzm → nequo]

Here's another account of the same story: https://flownet.com/gat/jpl-lisp.html

Ron Garret (https://news.ycombinator.com/user?id=lisper) is a frequent contributor on HN.

[brundolf → nequo]

I'm not sure mainstream development practices would automatically benefit from mimicking the ones used for such an extreme scenario

[nequo → brundolf]

You're right, possibly not, but it has its place.