Stream: t-compiler/wg-learning

Topic: meeting 2019-10-08 ty lecture


Santiago Pastorino (Oct 08 2019 at 17:48, on Zulip):

@WG-learning according to the calendar in ~ 1h 45mins we have a meeting to talk about the lecture Representing types in rustc, ask questions, and keep the chapter going :)

Amanjeev Sethi (Oct 08 2019 at 18:24, on Zulip):

hmmm did we decide a weekly meeting?

Santiago Pastorino (Oct 08 2019 at 18:55, on Zulip):

no, we are having bi-weekly meetings but I think we agreed on getting together again to have a second discussion about ty

Santiago Pastorino (Oct 08 2019 at 18:55, on Zulip):

if doesn't work we can postpone

Santiago Pastorino (Oct 08 2019 at 18:59, on Zulip):

well seems like I'm wrong, I was just following what the calendar says :)

Santiago Pastorino (Oct 08 2019 at 18:59, on Zulip):

we ended with a recurring event on the calendar

Santiago Pastorino (Oct 08 2019 at 19:00, on Zulip):

sorry about it, but it seemed to me that we've said we wanted to have a new meeting

Santiago Pastorino (Oct 08 2019 at 19:00, on Zulip):

that's why my confusion

Amanjeev Sethi (Oct 08 2019 at 19:09, on Zulip):

Oh! I am mistaken then. I assumed the extra meeting was one time only to come to a conclusion. I am sorry.

Hanif Ariffin (Oct 08 2019 at 19:10, on Zulip):

this lecture is open, yes? I don't see it in my calendar...maybe i subscribed to a different one? i watched this one but unsure where to go next... https://www.youtube.com/watch?v=c01TsOsr3-c

Santiago Pastorino (Oct 08 2019 at 19:27, on Zulip):

Oh! I am mistaken then. I assumed the extra meeting was one time only to come to a conclusion. I am sorry.

let's see what happens next week on next meeting then :)

Santiago Pastorino (Oct 08 2019 at 19:28, on Zulip):

this lecture is open, yes? I don't see it in my calendar...maybe i subscribed to a different one? i watched this one but unsure where to go next... https://www.youtube.com/watch?v=c01TsOsr3-c

yeah that's the lecture, I've just removed the event from the calendar

Santiago Pastorino (Oct 08 2019 at 19:28, on Zulip):

we had by mistake a recurring calendar event about the lecture

Santiago Pastorino (Oct 08 2019 at 19:28, on Zulip):

we will have a meeting next week, at that point we can discuss again if a new meeting is worth

Santiago Pastorino (Oct 08 2019 at 19:29, on Zulip):

@Hanif Ariffin if you're wondering what to do, the idea was to watch that lecture and fill a chapter about it

Amanjeev Sethi (Oct 08 2019 at 19:29, on Zulip):

:laughter_tears: I am fine if others really think it should be recurring and every week. I am confused myself so asked here.

Santiago Pastorino (Oct 08 2019 at 19:29, on Zulip):

no no, I don't think it makes sense :)

Santiago Pastorino (Oct 08 2019 at 19:29, on Zulip):

but whatever people want to do

Santiago Pastorino (Oct 08 2019 at 19:30, on Zulip):

anyway, let's sync about all this stuff next meeting

Santiago Pastorino (Oct 08 2019 at 19:30, on Zulip):

@Hanif Ariffin we are filling this document https://paper.dropbox.com/doc/Ty-lecture-summary--AmTyuUz5MYUQpFr21bhQpE8WAg-4jFj9bVOLlW7uhIOWHITX

Hanif Ariffin (Oct 08 2019 at 19:31, on Zulip):

thanks for the info :)

Santiago Pastorino (Oct 08 2019 at 19:31, on Zulip):

do you want to be included in @_WG-learning ?

Santiago Pastorino (Oct 08 2019 at 19:32, on Zulip):

so once we mention the team you receive a notification

Hanif Ariffin (Oct 08 2019 at 19:36, on Zulip):

sure, if thats okay

Santiago Pastorino (Oct 08 2019 at 19:38, on Zulip):

done

Amanjeev Sethi (Oct 08 2019 at 19:39, on Zulip):

thank you @Santiago Pastorino !

mark-i-m (Oct 08 2019 at 20:01, on Zulip):

Having a meeting every week is a bit hard on my schedule... I don't mind making the bi-weekly sync meeting 1hour and using the remainder to work on the chapter though

Santiago Pastorino (Oct 08 2019 at 21:40, on Zulip):

ok, there's some confusion that I've caused, we are not planning on having weekly meetings

Santiago Pastorino (Oct 08 2019 at 21:41, on Zulip):

there was a mistake in the calendar and I was confused because I thought we've talked about going over the ty lecture again and doing a new meeting

Santiago Pastorino (Oct 08 2019 at 21:41, on Zulip):

but all was a confusion I have

Santiago Pastorino (Oct 08 2019 at 21:41, on Zulip):

so we don't have a weekly meeting just the regular one

Santiago Pastorino (Oct 08 2019 at 21:42, on Zulip):

we may schedule something but that would come out of our regular meetings if happens

Amanjeev Sethi (Oct 08 2019 at 21:42, on Zulip):

Sorry if I confused folks even more.

Santiago Pastorino (Oct 08 2019 at 21:42, on Zulip):

/cc @mark-i-m

Last update: Nov 15 2019 at 20:10UTC