Hey @oli / @eddyb -- we should talk about the MIR Optimization working group. Maybe one of you wants to create a template? There are instructions in the compiler-team repository. I can create the Zulip stream/user-group -- what should I call it?
wg-optimizable-mir? That's less open ended than
uhmmm… that would imply that we are changing MIR to make it more optimisable, while the end goal of this WG would be to have the best MIR before lowering, I would think.
Right, that's the end goal. I just assumed from a few discussions that happened around the wg topics that we want to have shorter lived working groups?
I think as long as they have clearly defined scope then it's all good.
i.e. it isn't just open-ended
I'm with @davidtwco on this about working groups. Even
wg-optimal-mir feels pretty open-ended to me, unless there are already a list of concrete goals of the WG? If we can't describe concrete, measurable goals, then maybe this isn't really a working group type of problem...
I think any of the names suggested are fine. I think I have an idea what the scope of this working group would be based on the All Hands meetings so I don't really mind what the name is - and that scope will probably be written in the repo. We're not always going to find a nice name to describe what the working group will do that also is self-explanatory w/r/t scope.
@oli this feels like more than a naming question: what is the scope of the WG? In particular I think there are (at least) two things happening:
I had sort of envisioned them both being "in scope" for the 1 WG, but you could imagine distinct WGs. Still, seems like too much overhead.
Oh, then by all means,
wg-mir-opt. Let's not make two WGs, that would just be weird.
I like mir-opt better than optimal-mir =) the latter sounds...hard to achieve :)
Ok, I like
mir-opt, too, so let's roll with that. @nikomatsakis can you create a zulip sub-stream and notification group for us?
We have a rust-lang org group now: https://github.com/orgs/rust-lang/teams/wg-mir-opt
Can you give read access to the
wg-mir-opt group for
rust-lang/rust? Via https://github.com/orgs/rust-lang/teams/wg-mir-opt/repositories I assume?
Only pending thing is the compiler-team repository changes.
jup, but those depended on links to the zulip channels being available ;) Thanks for setting them up so fast