4 ms·AFAIK Rob Pike has been retired for years.by EdiX 9mo agoAFAIK Rob Pike has been retired for years.