@mdhughes I'll really miss him. He was one of the good ones, always supportive and interested in what people were working on. A quiet, gentle man who could surprise you on occasion with a deeply amusing story to deflate some famous personage. Also, by the way, a profoundly influential computer scientist. And Pascal's weird I/O wasn't really his fault.