3 ms·
> 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 fai
by nequo 4y ago
> 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/ https://corecursive.com/lisp-in-space-with-ron-garret/
- grzm 4y agoHere's another account of the same story: https://flownet.com/gat/jpl-lisp.html https://flownet.com/gat/jpl-lisp.html Ron Garret (https://news.ycombinator.com/user?id=lisper https://news.ycombinator.com/user?id=lisper) is a frequent contributor on HN.
- brundolf 4y agoI'm not sure mainstream development practices would automatically benefit from mimicking the ones used for such an extreme scenario
- nequo 4y agoYou're right, possibly not, but it has its place.