@WG-polonius can somebody explain a bit what is today's initialization meeting about?
in particular was wondering if the material could be useful for the learning WG
also may be interesting in participating or at least watching it later if recorded
@Santiago Pastorino Hmm, we are going to talk about implementing initialisation tracking in Polonius
I'm not sure if that's relevant or not
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
our fridge broke
@nikomatsakis Yes! No problem, I can entertain myself
Actually @Albin Stjerna I may have to reschedule to tomorrow
@nikomatsakis That's fine as well
@Albin Stjerna ok so I could do a short chat (~30 minutes) now if you still want
@nikomatsakis Maybe it's better to leave it for tomorrow?
That's also fine, we just have to pick a good time
I'm available all day, but I'm travelling early on Saturday so I'd rather go to bed at a reasonable hour
actually, perhaps we can chat in the early morning and find a time?
Yes, that's possible!
I've got a window from 8-12 when the repairperson will come back :)
hopefully I will know more precisely as that gets closer
That sounds good to me
hmm why don't we say 9am UTC-04:00 but we may reschedule again
ok, I moved calendar event
Ok! Fine by me :)
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
@Albin Stjerna ready to start soon?
Just let me finish a call
ok I'm in the zoom room
It's Australian bedtime o'clock
(it occurs to me we could also chat over zulip, as you prefer)
I think zoom might be a good idea for introductions
@nikomatsakis great, in the morning I had a bunch of meetings so I couldn't attend, hope you have recorded it :)
please let me know when the video is up
oh well, I mean, remember to add it to the lectures playlist
video is uploading here -- not yet fully uploaded