About the lisp in unix question (#3): ocaml has struck me as lisp +c, because it's functional + mind-blowing performance. I'm not experienced in ocaml, it's just that when I tried it, it was that fast. I don't know if it has the homoiconism of lisp. It is statically typed, which is a pain (the type inference requires methods like "print_string" - perhaps these are rare if you code in ocaml idioms).

I'm very glad to see him looking happy.

Love his geek answer to "what's your favourite movie?". Why don't normal people react better to answers like that?

Perhaps the love for him is because, for anyone who is even the least little bit weird perhaps in secret, Stallman is a shining beacon of weirdness. More power to him!