First news of his death came from his former colleague, Rob Pike.
Berita kematiannya diketahui pertama kali dari seorang mantan koleganya, Rob Pike.