Stream: t-compiler/wg-meta

Topic: meeting 2020.04.21


Santiago Pastorino (May 21 2020 at 18:03, on Zulip):

@T-compiler/WG-meta :wave:

nikomatsakis (May 21 2020 at 18:03, on Zulip):

I was about to come and start this same topic

nikomatsakis (May 21 2020 at 18:03, on Zulip):

thoughts for today? I mostly want to launch the "windows group"

nikomatsakis (May 21 2020 at 18:04, on Zulip):

nobody seconded my MCP :P

Santiago Pastorino (May 21 2020 at 18:04, on Zulip):

so ... yes, that was what we talked about during our last meeting

nikomatsakis (May 21 2020 at 18:04, on Zulip):

yeah I'm not sure I have anything new to say

Santiago Pastorino (May 21 2020 at 18:04, on Zulip):

me neither

nikomatsakis (May 21 2020 at 18:04, on Zulip):

I should maybe ping @pnkfelix to second the MCP or something

nikomatsakis (May 21 2020 at 18:04, on Zulip):

(hint, hint)

nikomatsakis (May 21 2020 at 18:05, on Zulip):

anything else to discuss or should we skip?

Santiago Pastorino (May 21 2020 at 18:05, on Zulip):

I was going to say, just wondering if there's a better way to do this meetings

nikomatsakis (May 21 2020 at 18:05, on Zulip):

the only thing I would note is that I still think we should generalize the model of the team repo to remove "meta working groups" and instead just have any group have a "notify" list -- but I think we don't have to block on that work, especially because for Windows group I want to start with just a notify list, so it can just be a metagroup

Santiago Pastorino (May 21 2020 at 18:06, on Zulip):

do you prefer a weekly 30 minutes meeting or would maybe be better to spend more time but less often?

Santiago Pastorino (May 21 2020 at 18:06, on Zulip):

I'm kind of loud thinking maybe the discussion doesn't make a lot of sense :P

nikomatsakis (May 21 2020 at 18:06, on Zulip):

it's a good question

nikomatsakis (May 21 2020 at 18:06, on Zulip):

I don't know if we even need meetings, though I fear ideas will just stall out otherwise

nikomatsakis (May 21 2020 at 18:06, on Zulip):

but maybe not

Santiago Pastorino (May 21 2020 at 18:07, on Zulip):

so kind of "booking" some time to do work on a specific topic works better for me than if this was done async I guess

nikomatsakis (May 21 2020 at 18:07, on Zulip):

yes

Santiago Pastorino (May 21 2020 at 18:07, on Zulip):

a lot of async things means a lot more self organization too

nikomatsakis (May 21 2020 at 18:07, on Zulip):

I'd be game to try 1 hour but every 2 weeks

Santiago Pastorino (May 21 2020 at 18:08, on Zulip):

:+1:

nikomatsakis (May 21 2020 at 18:08, on Zulip):

and we try to use the time to actually make the changes

nikomatsakis (May 21 2020 at 18:08, on Zulip):

I suppose

Santiago Pastorino (May 21 2020 at 18:08, on Zulip):

yes

Santiago Pastorino (May 21 2020 at 18:08, on Zulip):

that's what I would do

Santiago Pastorino (May 21 2020 at 18:08, on Zulip):

:+1:

nikomatsakis (May 21 2020 at 18:08, on Zulip):

want to adjust the calendar? :)

Santiago Pastorino (May 21 2020 at 18:08, on Zulip):

do you want the first 1h be next week or the other one?

Santiago Pastorino (May 21 2020 at 18:08, on Zulip):

I can make the calendar change, yes

nikomatsakis (May 21 2020 at 18:10, on Zulip):

Santiago Pastorino said:

do you want the first 1h be next week or the other one?

let's do it next week, we can create the windows group then

Santiago Pastorino (May 21 2020 at 18:10, on Zulip):

yep

Santiago Pastorino (May 21 2020 at 18:10, on Zulip):

:+1:

nikomatsakis (May 21 2020 at 18:10, on Zulip):

if nobody seconds I'm just going to do it by fiat

nikomatsakis (May 21 2020 at 18:10, on Zulip):

"it's good to be the boss"

Santiago Pastorino (May 21 2020 at 18:10, on Zulip):

hahaha :)

nikomatsakis (May 21 2020 at 18:10, on Zulip):

cool, then let's stop talking for now :)

Santiago Pastorino (May 21 2020 at 18:11, on Zulip):

I was going to say, are you pinging @pnkfelix because it's the one that is more likely to approve this?

Santiago Pastorino (May 21 2020 at 18:11, on Zulip):

:P

Santiago Pastorino (May 21 2020 at 18:13, on Zulip):

anyway, calendar meeting time adjusted

Santiago Pastorino (May 21 2020 at 18:13, on Zulip):

and meeting over :wave:

nikomatsakis (May 21 2020 at 18:18, on Zulip):

Santiago Pastorino said:

I was going to say, are you pinging pnkfelix because it's the one that is more likely to approve this?

mm it just seems like a "co-lead" sort of thing

Santiago Pastorino (May 21 2020 at 18:21, on Zulip):

anyway I was kidding :)

DPC (May 21 2020 at 18:42, on Zulip):

(deleted)

DPC (May 21 2020 at 18:43, on Zulip):

ah nevermind

DPC (May 21 2020 at 18:43, on Zulip):

wait you got the month wrong

DPC (May 21 2020 at 18:43, on Zulip):

haha

Last update: Sep 28 2020 at 16:00UTC