Rob Pike retired from Google a few years back.