4 ms·Rob Pike retired from Google a few years back.by ianlancetaylor 9mo agoRob Pike retired from Google a few years back.