Also, @mw, we should create a PGO WG -- not sure if this wants a Zulip stream etc or not, maybe not? Regardless, let's make a directory for it.
@nikomatsakis @mw What does PGO stand for ?
I'll set up the directory
@mw note @Cem Karan's comment, maybe we should avoid the abbreviation for clarity
@davidtwco could you set up a
wg-profile-guided-optimization stream for this?
Thank you, @davidtwco!
Also made a @WG-profile-guided-optimization with just you in it for now.