3 ms·Also his name is Pike ;)by tomcam 4y agoAlso his name is Pike ;)tpmx 4y agoThe Rob Pike name connection is indeed a fun detail.deleted 4y ago[deleted]