Stream: t-compiler/wg-learning

Topic: meeting 2019-07-23


mark-i-m (Jul 23 2019 at 16:34, on Zulip):

@WG-learning Meeting in ~3 hours

mark-i-m (Jul 23 2019 at 16:35, on Zulip):

Agenda: https://hackmd.io/s/SysIzeMRE

Santiago Pastorino (Jul 23 2019 at 19:30, on Zulip):

@WG-learning meeting starting :wave:

Iñaki Garay (Jul 23 2019 at 19:30, on Zulip):

Hey everyone! :wave:

Santiago Pastorino (Jul 23 2019 at 19:30, on Zulip):

hi everyone, how are you doing? :smile:

Santiago Pastorino (Jul 23 2019 at 19:30, on Zulip):

first thing on the agenda

Santiago Pastorino (Jul 23 2019 at 19:30, on Zulip):

What’s each of us working on and what’s the progress we are having?

Santiago Pastorino (Jul 23 2019 at 19:30, on Zulip):

does someone have an update here?

Santiago Pastorino (Jul 23 2019 at 19:32, on Zulip):

I guess that's a no :)

Iñaki Garay (Jul 23 2019 at 19:32, on Zulip):

I've re-started the summary of the representing types lecture. I've been absent the past two weeks

Santiago Pastorino (Jul 23 2019 at 19:33, on Zulip):

@Iñaki Garay cool

Santiago Pastorino (Jul 23 2019 at 19:33, on Zulip):

@mark-i-m you around?

Santiago Pastorino (Jul 23 2019 at 19:33, on Zulip):

I think we lost some minutes https://github.com/rust-lang/compiler-team/tree/master/content/docs/working-groups/learning/minutes

Santiago Pastorino (Jul 23 2019 at 19:34, on Zulip):

probably when we "switched" to Hugo /cc @Federico Carrone

Santiago Pastorino (Jul 23 2019 at 19:34, on Zulip):

maybe not, I'm not sure

Santiago Pastorino (Jul 23 2019 at 19:35, on Zulip):

I guess that's all the updates

Santiago Pastorino (Jul 23 2019 at 19:36, on Zulip):

@mark-i-m probably has something, feel free to comment afterwards Mark

Santiago Pastorino (Jul 23 2019 at 19:36, on Zulip):

next topic and last topic I think

Santiago Pastorino (Jul 23 2019 at 19:36, on Zulip):

create a rustc-guide strike force (mark-i-m)

Santiago Pastorino (Jul 23 2019 at 19:37, on Zulip):

which something from @mark-i-m

Santiago Pastorino (Jul 23 2019 at 19:37, on Zulip):

let's wait for Mark

Santiago Pastorino (Jul 23 2019 at 19:38, on Zulip):

we also talked about having a longer meeting to define a better vision for this WG but we didn't set a specific date for it and it may be a good idea to have @nikomatsakis around

Santiago Pastorino (Jul 23 2019 at 19:39, on Zulip):

I'd just close it up this meeting, @mark-i-m when you are around feel free to comment your updates and about create a rustc-guide strike force (mark-i-m)

mark-i-m (Jul 23 2019 at 19:39, on Zulip):

sorry, I'm here now :wave:

Santiago Pastorino (Jul 23 2019 at 19:39, on Zulip):

hey

Santiago Pastorino (Jul 23 2019 at 19:39, on Zulip):

no worries

mark-i-m (Jul 23 2019 at 19:41, on Zulip):

I think we lost some minutes https://github.com/rust-lang/compiler-team/tree/master/content/docs/working-groups/learning/minutes

Yes, it looks like it

mark-i-m (Jul 23 2019 at 19:41, on Zulip):

I have been trying to sort out some problems with the CI with timeouts

mark-i-m (Jul 23 2019 at 19:42, on Zulip):

also, I'm going to be pretty unavailable for a few weeks

mark-i-m (Jul 23 2019 at 19:42, on Zulip):

(unfortunately)

Santiago Pastorino (Jul 23 2019 at 19:42, on Zulip):

:(

mark-i-m (Jul 23 2019 at 19:43, on Zulip):

I plan to come to the meeting tomorrow and the one in two weeks, but I am not expecting to get much done

mark-i-m (Jul 23 2019 at 19:43, on Zulip):

create a rustc-guide strike force (mark-i-m)

mark-i-m (Jul 23 2019 at 19:43, on Zulip):

There are ~75 issues on the repo

mark-i-m (Jul 23 2019 at 19:44, on Zulip):

though, 20 of them are for the github project, so its more like ~50

mark-i-m (Jul 23 2019 at 19:44, on Zulip):

Those 50 issues have a range of difficulties

mark-i-m (Jul 23 2019 at 19:44, on Zulip):

For the easy ones, somebody just needs to get it done

mark-i-m (Jul 23 2019 at 19:44, on Zulip):

For the harder ones, I think we will need to schedule a lecture of some sort

mark-i-m (Jul 23 2019 at 19:45, on Zulip):

or a meeting like tomorrow

mark-i-m (Jul 23 2019 at 19:45, on Zulip):

I would like to create a task force to go through all of the issues and figure out what is actionable on each one

Santiago Pastorino (Jul 23 2019 at 19:46, on Zulip):

makes sense

Santiago Pastorino (Jul 23 2019 at 19:46, on Zulip):

I'd second your idea

mark-i-m (Jul 23 2019 at 19:46, on Zulip):

I guess the question is how to go about doing it

Santiago Pastorino (Jul 23 2019 at 19:46, on Zulip):

yeah, I think it's hard to get people involved but we should try

Santiago Pastorino (Jul 23 2019 at 19:47, on Zulip):

maybe we can write a post on IRLO and URLO

mark-i-m (Jul 23 2019 at 19:47, on Zulip):

or the dev-blog when that happens

Santiago Pastorino (Jul 23 2019 at 19:47, on Zulip):

yeah but that would probably take time I think

mark-i-m (Jul 23 2019 at 19:48, on Zulip):

According to @skade it is just a matter of actually implementing it, but I'm not sure if anyone is actually doing that

mark-i-m (Jul 23 2019 at 19:48, on Zulip):

I guess an IRLO post would be good for now though

Santiago Pastorino (Jul 23 2019 at 19:48, on Zulip):

:+1:

mark-i-m (Jul 23 2019 at 19:49, on Zulip):

I am thinking that the people in the task force would go through the issues sorted by "least recently updated"

mark-i-m (Jul 23 2019 at 19:49, on Zulip):

and for each one, leave a comment about the actionable items or blockers

mark-i-m (Jul 23 2019 at 19:50, on Zulip):

that could include closing unactionable issues or creating more specific issues

Santiago Pastorino (Jul 23 2019 at 19:51, on Zulip):

seems good to me

Santiago Pastorino (Jul 23 2019 at 19:51, on Zulip):

do you want to write that post?

Santiago Pastorino (Jul 23 2019 at 19:52, on Zulip):

share it here if you want we can collaborate on it

Santiago Pastorino (Jul 23 2019 at 19:52, on Zulip):

I mean, whatever helps you

mark-i-m (Jul 23 2019 at 19:52, on Zulip):

Sure I can do that

mark-i-m (Jul 23 2019 at 19:53, on Zulip):

I'll also post some PRs to add back the missing minutes

mark-i-m (Jul 23 2019 at 19:53, on Zulip):

i guess that's all I have

Santiago Pastorino (Jul 23 2019 at 19:53, on Zulip):

:+1:

Santiago Pastorino (Jul 23 2019 at 19:54, on Zulip):

last thing, should we organize a longer meeting as we said last time?

Santiago Pastorino (Jul 23 2019 at 19:54, on Zulip):

I'd do that but would try to involve Niko at least for a couple of minutes

mark-i-m (Jul 23 2019 at 19:54, on Zulip):

I think we should be preferably in late august

mark-i-m (Jul 23 2019 at 19:55, on Zulip):

I'm a bit swamped atm (for the next ~3 weeks)

Santiago Pastorino (Jul 23 2019 at 19:56, on Zulip):

ok

Santiago Pastorino (Jul 23 2019 at 19:56, on Zulip):

let's wait then

mark-i-m (Jul 23 2019 at 19:56, on Zulip):

How about Aug 19

mark-i-m (Jul 23 2019 at 19:56, on Zulip):

?

mark-i-m (Jul 23 2019 at 19:56, on Zulip):

Perhaps we can mark that down tentatively if that works for everyone?

Santiago Pastorino (Jul 23 2019 at 19:56, on Zulip):

sounds good to me

Santiago Pastorino (Jul 23 2019 at 19:57, on Zulip):

it's close to RustConf but I guess it's fine

mark-i-m (Jul 23 2019 at 19:57, on Zulip):

Hmm... should we do after?

mark-i-m (Jul 23 2019 at 19:57, on Zulip):

Or we could meet the week before, but I won't be able to participate as much (and also I don't know when Niko is back)

mark-i-m (Jul 23 2019 at 20:00, on Zulip):

@Santiago Pastorino ?

Santiago Pastorino (Jul 23 2019 at 20:02, on Zulip):

I think that date is ok if it's ok to Niko

mark-i-m (Jul 23 2019 at 20:02, on Zulip):

Ok

mark-i-m (Jul 23 2019 at 20:02, on Zulip):

It looks like we are out of time?

mark-i-m (Jul 23 2019 at 20:09, on Zulip):

Bye :wave:

mark-i-m (Jul 23 2019 at 20:10, on Zulip):

opened https://github.com/rust-lang/compiler-team/pull/120

Amanjeev Sethi (Jul 23 2019 at 20:15, on Zulip):

I deeply apologize for missing today's meeting. I have started a new job in a new country! lol

mark-i-m (Jul 23 2019 at 20:15, on Zulip):

Np @Amanjeev Sethi

mark-i-m (Jul 23 2019 at 20:15, on Zulip):

Congrats on the new job :tada:

Amanjeev Sethi (Jul 23 2019 at 20:16, on Zulip):

Thank you

Amanjeev Sethi (Jul 23 2019 at 20:16, on Zulip):

:slight_smile:

Santiago Pastorino (Jul 23 2019 at 20:17, on Zulip):

@Amanjeev Sethi congrats

Amanjeev Sethi (Jul 23 2019 at 20:17, on Zulip):

Thank you!

Last update: Nov 15 2019 at 20:00UTC