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, 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 ?

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 if you want it

Last update: Jan 22 2020 at 02:25UTC