points by ianlancetaylor 3 months ago

Rob Pike retired from Google a few years back.