[fdchn2016]

And yet the code that controls the spacecraft launch and control is written in C. I'll still agree with you that it's really hard to write good secure C code.

[bloaf]

I'm sure you've seen this; it's posted here regularly:

http://www.flownet.com/gat/jpl-lisp.html