Stream: t-compiler/wg-learning

Topic: hair and mir construction lecture


Santiago Pastorino (May 28 2019 at 19:57, on Zulip):

/cc @nikomatsakis @oli

Santiago Pastorino (May 28 2019 at 19:57, on Zulip):

from wg-lecture meeting ...

Santiago Pastorino (May 28 2019 at 19:57, on Zulip):

nikomatsakis: On the topic of lectures, I think we should do one on HAIR and MIR construction. I think I could do that, but @oli might be good for that -- I wouldn't have time this week, but maybe next week.

oli (May 29 2019 at 07:12, on Zulip):

when would that lecture happen? :D I don't have time tomorrow and I'd still need to prep sth obvsly

Santiago Pastorino (May 29 2019 at 12:54, on Zulip):

@oli it will happen whenever you have something ready :)

Santiago Pastorino (May 29 2019 at 12:54, on Zulip):

there's no rush

Santiago Pastorino (May 29 2019 at 12:55, on Zulip):

the important thing is to have a bunch of people learning from your lecture and at some point being able to get something out of it and put it on the rustc-guide

oli (May 29 2019 at 12:57, on Zulip):

kk

Santiago Pastorino (May 30 2019 at 18:58, on Zulip):

@oli besides this not being urgent, do you want to more or less aim for a date?

Santiago Pastorino (Jun 06 2019 at 18:18, on Zulip):

@oli ping again just in case you missed my message

Santiago Pastorino (Jun 06 2019 at 18:18, on Zulip):

/cc @nikomatsakis

oli (Jun 07 2019 at 10:25, on Zulip):

hmm... something in June? after that I'm not really able to set any dates because I'll be starting a new job and first have to get used to that

Santiago Pastorino (Jun 07 2019 at 13:14, on Zulip):

@oli yeah, do you want to set a specific date? would that help you? or do you prefer to prepare something and ping us to invite everyone when you're ready?

oli (Jun 07 2019 at 13:31, on Zulip):

yea, doing the latter seems better. I'll prep something and then we'll find a date

nikomatsakis (Jun 11 2019 at 19:45, on Zulip):

I'd be happy if @oli wants to do it

Last update: Nov 15 2019 at 20:15UTC