Stream: t-compiler/wg-polonius

Topic: initialization meeting


Santiago Pastorino (May 30 2019 at 15:19, on Zulip):

@WG-polonius can somebody explain a bit what is today's initialization meeting about?

Santiago Pastorino (May 30 2019 at 15:20, on Zulip):

in particular was wondering if the material could be useful for the learning WG

Santiago Pastorino (May 30 2019 at 15:20, on Zulip):

also may be interesting in participating or at least watching it later if recorded

Albin Stjerna (May 30 2019 at 15:58, on Zulip):

@Santiago Pastorino Hmm, we are going to talk about implementing initialisation tracking in Polonius

Albin Stjerna (May 30 2019 at 15:58, on Zulip):

I'm not sure if that's relevant or not

nikomatsakis (May 30 2019 at 16:08, on Zulip):

Hey @Albin Stjerna -- we were going to do the meeting now, right? I'll be a few minutes late, I've got a repairman at my house just now

nikomatsakis (May 30 2019 at 16:08, on Zulip):

our fridge broke

Albin Stjerna (May 30 2019 at 16:09, on Zulip):

@nikomatsakis Yes! No problem, I can entertain myself

nikomatsakis (May 30 2019 at 16:16, on Zulip):

Actually @Albin Stjerna I may have to reschedule to tomorrow

Albin Stjerna (May 30 2019 at 16:16, on Zulip):

@nikomatsakis That's fine as well

nikomatsakis (May 30 2019 at 16:33, on Zulip):

@Albin Stjerna ok so I could do a short chat (~30 minutes) now if you still want

Albin Stjerna (May 30 2019 at 16:34, on Zulip):

@nikomatsakis Maybe it's better to leave it for tomorrow?

nikomatsakis (May 30 2019 at 16:34, on Zulip):

That's also fine, we just have to pick a good time

Albin Stjerna (May 30 2019 at 16:35, on Zulip):

I'm available all day, but I'm travelling early on Saturday so I'd rather go to bed at a reasonable hour

nikomatsakis (May 30 2019 at 16:35, on Zulip):

actually, perhaps we can chat in the early morning and find a time?

Albin Stjerna (May 30 2019 at 16:35, on Zulip):

Yes, that's possible!

nikomatsakis (May 30 2019 at 16:35, on Zulip):

I've got a window from 8-12 when the repairperson will come back :)

nikomatsakis (May 30 2019 at 16:35, on Zulip):

hopefully I will know more precisely as that gets closer

Albin Stjerna (May 30 2019 at 16:36, on Zulip):

That sounds good to me

nikomatsakis (May 30 2019 at 16:36, on Zulip):

hmm why don't we say 9am UTC-04:00 but we may reschedule again

nikomatsakis (May 30 2019 at 16:37, on Zulip):

ok, I moved calendar event

Albin Stjerna (May 30 2019 at 16:44, on Zulip):

Ok! Fine by me :)

nikomatsakis (May 31 2019 at 12:40, on Zulip):

BTW, @Santiago Pastorino -- I plan to explore what the existing borrow check does around initialization and liveness, so actually it could be relevant to @WG-learning now that you mention it

nikomatsakis (May 31 2019 at 12:53, on Zulip):

@Albin Stjerna ready to start soon?

Albin Stjerna (May 31 2019 at 13:03, on Zulip):

@nikomatsakis Yep!

Albin Stjerna (May 31 2019 at 13:04, on Zulip):

Just let me finish a call

nikomatsakis (May 31 2019 at 13:04, on Zulip):

ok I'm in the zoom room

Albin Stjerna (May 31 2019 at 13:04, on Zulip):

It's Australian bedtime o'clock

nikomatsakis (May 31 2019 at 13:04, on Zulip):

ok =)

nikomatsakis (May 31 2019 at 13:05, on Zulip):

(it occurs to me we could also chat over zulip, as you prefer)

Albin Stjerna (May 31 2019 at 13:05, on Zulip):

I think zoom might be a good idea for introductions

nikomatsakis (May 31 2019 at 13:06, on Zulip):

:+1:

nikomatsakis (May 31 2019 at 13:13, on Zulip):

paper doc for notes is here

Santiago Pastorino (May 31 2019 at 14:35, on Zulip):

@nikomatsakis great, in the morning I had a bunch of meetings so I couldn't attend, hope you have recorded it :)

Santiago Pastorino (May 31 2019 at 14:35, on Zulip):

please let me know when the video is up

Santiago Pastorino (May 31 2019 at 14:35, on Zulip):

oh well, I mean, remember to add it to the lectures playlist

nikomatsakis (May 31 2019 at 20:29, on Zulip):

video is uploading here -- not yet fully uploaded

Last update: Nov 15 2019 at 20:50UTC