Stream: t-compiler/wg-meta

Topic: MIR optimization WG


nikomatsakis (Feb 27 2019 at 20:13, on Zulip):

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?

oli (Mar 01 2019 at 10:32, on Zulip):

wg-optimizable-mir? That's less open ended than wg-mir-optimizations

nagisa (Mar 01 2019 at 10:35, on Zulip):

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.

nagisa (Mar 01 2019 at 10:35, on Zulip):

wg-optimal-mir

oli (Mar 01 2019 at 11:49, on Zulip):

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?

davidtwco (Mar 01 2019 at 11:50, on Zulip):

I think as long as they have clearly defined scope then it's all good.

davidtwco (Mar 01 2019 at 11:50, on Zulip):

i.e. it isn't just open-ended

Cem Karan (Mar 01 2019 at 13:10, on Zulip):

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...

davidtwco (Mar 01 2019 at 13:15, on Zulip):

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.

nikomatsakis (Mar 01 2019 at 13:57, on Zulip):

@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.

oli (Mar 01 2019 at 13:59, on Zulip):

Oh, then by all means, wg-optimal-mir or wg-mir-opt. Let's not make two WGs, that would just be weird.

nikomatsakis (Mar 01 2019 at 14:04, on Zulip):

I like mir-opt better than optimal-mir =) the latter sounds...hard to achieve :)

oli (Mar 04 2019 at 16:34, on Zulip):

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?

oli (Mar 04 2019 at 16:37, on Zulip):

We have a rust-lang org group now: https://github.com/orgs/rust-lang/teams/wg-mir-opt

oli (Mar 04 2019 at 16:39, on Zulip):

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?

davidtwco (Mar 04 2019 at 16:46, on Zulip):

@oli #t-compiler/wg-mir-opt

davidtwco (Mar 04 2019 at 16:48, on Zulip):

Only pending thing is the compiler-team repository changes.

oli (Mar 04 2019 at 16:48, on Zulip):

jup, but those depended on links to the zulip channels being available ;) Thanks for setting them up so fast

Last update: Nov 11 2019 at 22:00UTC