Stream: t-compiler

Topic: rustc lecture series


nikomatsakis (Apr 11 2019 at 14:40, on Zulip):

Our weekly meeting reminded me -- I'd like to schedule another 'episode' in the rustc lecture series. I was thinking it'd be great to try and do a recording about some part of the compiler. I had even discussed with @Iñaki Garay the idea of starting an effort to take these recordings and convert them into rustc-guide chapters.

With that in my mind, here were a few ideas I had for things to talk about:

pnkfelix (Apr 11 2019 at 14:47, on Zulip):

I had agreed to give a presentation on resolve

pnkfelix (Apr 11 2019 at 14:47, on Zulip):

but I don't have it ready yet

nikomatsakis (Apr 11 2019 at 14:56, on Zulip):

yes, I left that out for this reason

nikomatsakis (Apr 11 2019 at 14:56, on Zulip):

I figured these were all things we could do a presentation on with minimal prep

nikomatsakis (Apr 11 2019 at 14:56, on Zulip):

/poll What would people have the most interest in hearing?

Iñaki Garay (Apr 11 2019 at 15:02, on Zulip):

Heyo! One of my worries is that for succesfull knowledge transfer the recipient must have a framework into which they can insert the new information, which I and the other people we can put on the job still lack. We are happy to just transcribe and submit for edition but perhaps topics with the least dependencies would be best first issues while we ramp up. Aside from that, I leave topic selection up to others, everything's interesting

nikomatsakis (Apr 11 2019 at 15:08, on Zulip):

@Iñaki Garay I had that in mind -- but I think that the ty module and HIR are perhaps the fewest dependencies then.

Iñaki Garay (Apr 11 2019 at 15:09, on Zulip):

Most excellent

Iñaki Garay (Apr 11 2019 at 18:30, on Zulip):

The rustc lecture series playlist in youtube (https://www.youtube.com/playlist?list=PL85XCvVPmGQhOL-J2Ng7qlPvDVOwYpGTN) has 4 videos: debugging support, cranelift, analyzer guide, miri & const eval.

Q1) Have these already been lowered to text? Does it make sense to do so?
Q2) Also, I noticed that there are a few other seemingly relevant videos not in the playlist, e.g. the polonius walkthrough, the chalk integration overview. Are these not part of the compiler lecture series?

Santiago Pastorino (Apr 11 2019 at 18:40, on Zulip):

@Iñaki Garay what I think I'd do with everything you find around is trying to fit those in the rustc-guides

Santiago Pastorino (Apr 11 2019 at 18:41, on Zulip):

rustc-guides could be improved by things that are written here, things that happen on the lectures, etc

Santiago Pastorino (Apr 11 2019 at 18:41, on Zulip):

unsure what others think but I think it's a good idea /cc @nikomatsakis

Iñaki Garay (Apr 11 2019 at 18:41, on Zulip):

Ok, I'll go with a 'better to ask forgiveness in PR review than permission in zulip' approach then

nikomatsakis (Apr 12 2019 at 13:05, on Zulip):

@Iñaki Garay the distinction between rustc lecture series and other videos is not entirely clera :)

nikomatsakis (Apr 12 2019 at 13:05, on Zulip):

I think I would say that any video that is kind of "explanatory" could be added to the "rustc lecture series" playlist (and perhaps be found in other, more narrow playlists)

nikomatsakis (Apr 15 2019 at 17:59, on Zulip):

Seems like " The ty module -- how it works " is the winner here... we should schedule a good time for this then. I'd be happy to do this talk, although it'd be great if we could get some more folks to be a part of it (I'm also happy if someone else wants to volunteer).

cc @Iñaki Garay and @Federico Carrone -- this seems like a good place to start with the "expand the rustc-guide" project that we talked about, as I think most of the things here are not documented.

On a related note, @Santiago Pastorino has been bringing up the idea of a rustc-guide-focused WG, and I think that's something we sohuld think about, though I might call it the "learning WG" and vaguely expand the focus. A good thing would be to talk about what exactly such a WG would be about and who would do the work to keep it moving.

Iñaki Garay (Apr 15 2019 at 18:03, on Zulip):

Agreed on all items.

Iñaki Garay (Apr 15 2019 at 18:05, on Zulip):

Any time this weekstarting tomorrow is fine for the ty talk

Iñaki Garay (Apr 15 2019 at 18:08, on Zulip):

wrt to a wg, would the idea be that members of the wg are learning, or producing material to enable learning (or both :p)?

Santiago Pastorino (Apr 15 2019 at 18:08, on Zulip):

Seems like " The ty module -- how it works " is the winner here... we should schedule a good time for this then. I'd be happy to do this talk, although it'd be great if we could get some more folks to be a part of it (I'm also happy if someone else wants to volunteer).

cc Iñaki Garay and Federico Carrone -- this seems like a good place to start with the "expand the rustc-guide" project that we talked about, as I think most of the things here are not documented.

On a related note, Santiago Pastorino has been bringing up the idea of a rustc-guide-focused WG, and I think that's something we sohuld think about, though I might call it the "learning WG" and vaguely expand the focus. A good thing would be to talk about what exactly such a WG would be about and who would do the work to keep it moving.

@nikomatsakis about the learning WG, agree that a learning WG is more general and a better idea. Count with me for this.

Santiago Pastorino (Apr 15 2019 at 18:09, on Zulip):

wrt to a wg, would the idea be that members of the wg are learning, or producing material to enable learning (or both :p)?

I'd say that the focus is on producing materials but of course in the process we can all learn from doing that :)

Iñaki Garay (Apr 15 2019 at 19:30, on Zulip):

:cold_sweat: the rust/src/librustc/ty folder has 18k loc in it

Iñaki Garay (Apr 15 2019 at 19:58, on Zulip):

turns out that we're only an hour ahead of you @nikomatsakis . Morning is best, e.g. 11am UTC-5 but it's very flexible

Federico Carrone (Apr 15 2019 at 20:17, on Zulip):

great! I like the idea of the learning working group. I will start checking the ty module to prepare a few questions. Let us know when it is the best time to have the call and we will try to be available at that time

varkor (Apr 16 2019 at 11:24, on Zulip):

I'd be happy to do this talk, although it'd be great if we could get some more folks to be a part of it

I'd be very happy to give a presentation at some point, but now's not such a good time for me, as it's a busy period

nikomatsakis (Apr 16 2019 at 14:30, on Zulip):

How about this coming Friday at 13:00 UTC-04:00?

cc @Federico Carrone @Iñaki Garay @Santiago Pastorino

Iñaki Garay (Apr 16 2019 at 14:44, on Zulip):

works very well for us

Santiago Pastorino (Apr 16 2019 at 14:46, on Zulip):

How about this coming Friday at 13:00 UTC-04:00?

cc Federico Carrone Iñaki Garay Santiago Pastorino

this friday doesn't work for me, on thursday and friday are holidays here

nikomatsakis (Apr 16 2019 at 15:05, on Zulip):

I'll make a doodle with a few random times

nikomatsakis (Apr 16 2019 at 15:06, on Zulip):

cc Federico Carrone Iñaki Garay Santiago Pastorino

fill out this doodle poll please =) (any anyone else who wants)

nikomatsakis (Apr 17 2019 at 15:12, on Zulip):

:loudspeaker: The people have spoken :loudspeaker:

The next rustc lecture series will be on the ty module, and will take place on Friday April 26. Calendar event

Santiago Pastorino (Apr 17 2019 at 16:16, on Zulip):

@nikomatsakis should we start defining a next session?

Santiago Pastorino (Apr 17 2019 at 16:16, on Zulip):

:)

Last update: Nov 22 2019 at 05:10UTC