Richard O'Keefe has deep knowledge of computer science and software engineering, and his posts to erlang-questions, where you'll often encounter Erlang, Prolog, LISP, Java, and C neatly woven into the same message, are almost always enlightening.