First news of his death came from his former colleague, Rob Pike.
Првата вест за неговата смрт дошла од неговиот поранешен колега, Роб Пајк.