Explorer of programming languages and the nature of thought.