Stream: t-compiler/wg-mir-opt

Topic: hello


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

Welcome to #t-compiler/wg-mir-opt.

Description: Working group focused on implementing MIR optimizations and refactoring the MIR to be more amenable to optimizations

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

@WG-mir-opt exists too.

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

thanks! Do I have to keep that tag in sync with the github team?

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

For now, yeah. Hopefully at some point the rust-lang/team repository will handle that too (I think Zulip would need to add an API for it).

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

Ok, so I should be bugging you or others with powers to add ppl? Or is this something I should do myself?

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

I think you should be able to add people. Try making a change, Organization Settings > User Groups, then just try add and remove yourself.

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

Otherwise, feel free to ping me.

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

wonderful, that works, thanks!

FĂ©lix Fischer (Mar 11 2019 at 01:11, on Zulip):

Hello y'alls!

davidtwco (Mar 11 2019 at 10:44, on Zulip):

Would someone be able to add me to the GitHub group for this WG? I'm interested in contributing to it once it kicks off.

oli (Mar 11 2019 at 11:34, on Zulip):

huh? you can't add yourself? Our permission scheme is funky. I can add you on github, but can't edit things here, you can edit things here but not on github?

oli (Mar 11 2019 at 11:34, on Zulip):

added you

davidtwco (Mar 11 2019 at 11:35, on Zulip):

Thanks. I don't have any permissions on GitHub outside of basic labelling and assigning AFAIK.

Wesley Wiser (Mar 11 2019 at 14:44, on Zulip):

I'm also very interested in contributing once it kicks off :smile:

Saleem Jaffer (Apr 24 2019 at 05:33, on Zulip):

Hey @oli I would like to do some work in MIR. Do let me know if I can help out!

oli (Apr 24 2019 at 08:14, on Zulip):

awesome! We'll gladly take your help

oli (Apr 24 2019 at 08:15, on Zulip):

If you want to pick up something that just needs carrying over the finish line, https://github.com/rust-lang/rust/pull/57150 is pretty cool, MIR related and just needs some finishing cleanups

Saleem Jaffer (Apr 24 2019 at 09:08, on Zulip):

Cool, I'll take it up!

Yuki Okushi (May 02 2019 at 02:59, on Zulip):

Hi everyone! I've got very interested in miri during the course of making a PR. Could I work on the issues as a member of this WG? cc @oli

oli (May 02 2019 at 07:08, on Zulip):

This WG is about changing MIR datastructures and adding MIR optimizations, if you are looking for MIR interpretation, we don't have a working group for that (yet?).

Yuki Okushi (May 02 2019 at 11:08, on Zulip):

@oli Yes, I read this README. I would be glad if I could help to solve some issues!

oli (May 02 2019 at 11:25, on Zulip):

wonderful! We're happy to have you then. I'll add you to the github team

oli (May 02 2019 at 11:26, on Zulip):

nevermind XD I don't have permissions to do that

oli (May 02 2019 at 11:26, on Zulip):

I'll bring it up with the appropriate ppl and just add you to the zulip team for now

Yuki Okushi (May 02 2019 at 11:32, on Zulip):

Thank you!

Saleem Jaffer (May 03 2019 at 12:42, on Zulip):

@oli Is there a place where the team for the MIR WG exists? If so, could you please add me to that?

oli (May 05 2019 at 14:54, on Zulip):

@Saleem Jaffer do you mean https://github.com/rust-lang/compiler-team/tree/master/working-groups/mir-opt ?

Saleem Jaffer (May 05 2019 at 15:05, on Zulip):

@oli yeah looks like. Do we specifically add people into this?

oli (May 05 2019 at 15:06, on Zulip):

I don't think so, but you can look at what other teams are doing

Santiago Pastorino (May 06 2019 at 13:53, on Zulip):

what is usually done is adding people to the Zulip group so when you do @WG-mir-opt more people can be notified

oli (May 06 2019 at 15:36, on Zulip):

that has already happened

oli (May 06 2019 at 15:37, on Zulip):

we're working on a system to do that on github easily, too

Santiago Pastorino (May 06 2019 at 15:38, on Zulip):

what I meant is ... maybe @Saleem Jaffer can be added there

oli (May 06 2019 at 16:02, on Zulip):

yes, they have been added to the zulip group

Saleem Jaffer (May 15 2019 at 09:00, on Zulip):

@oli I can pick up some more work in MIR

oli (May 16 2019 at 12:56, on Zulip):

@Saleem Jaffer there's https://github.com/rust-rfcs/const-eval/issues/4 if you want it

Last update: Nov 17 2019 at 07:20UTC