Don't forget the use of Lisp REPL, to actually solve it. I think it's pretty cool. Also the part in which they launched a probe with it's software still incomp

Don't forget the use of Lisp REPL, to actually solve it. I think it's pretty cool. Also the part in which they launched a probe with it's software still incomplete, and they uploaded it mid-flight. And in the end(54:50), he lays out some interesting points, about how NASA, sometimes disappoint us.