Philosopher turned programmer.