/cc @nikomatsakis @oli
from wg-lecture meeting ...
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.
when would that lecture happen? :D I don't have time tomorrow and I'd still need to prep sth obvsly
@oli it will happen whenever you have something ready :)
there's no rush
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 besides this not being urgent, do you want to more or less aim for a date?
@oli ping again just in case you missed my message
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
@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?
yea, doing the latter seems better. I'll prep something and then we'll find a date
I'd be happy if @oli wants to do it