B blog.chromium.org Chrome just got faster with Profile Guided Optimization 132 points twapi 6 years ago 101 comments