死去の第一報は、以前の同僚であり現在はgoogleに勤務するロブ・パイクによってgoogle+上で発表された。