Comment by ianlancetaylor

Rob Pike retired from Google a few years back.