Comment by myohan

RIP...he died same age as Marvin Minsky who died a month ago.