Stream: wg-traits

Topic: Idea: Regular Design Meetings


nikomatsakis (Feb 15 2019 at 20:01, on Zulip):

So something I've been wanting to suggest for a while now is that we schedule a (weekly?) design meeting. This would be a recorded Zoom meeting. Initially, I think, the role of this meeting would be for me or others to dig into how some part of the existing design works -- basically aiming to get a series of videos that explain everything. The Universes discussion from last week is a good example of this.

nikomatsakis (Feb 15 2019 at 20:01, on Zulip):

I could try to produce a series of topics and would definitely be open to further discussions

nikomatsakis (Feb 15 2019 at 20:02, on Zulip):

I would like to combine this with producing more written docs, but I think that having the videos available is a good starting point, and often kind of easier to produce

Aaron Turon (Feb 15 2019 at 20:02, on Zulip):

yes please!

nikomatsakis (Feb 15 2019 at 20:02, on Zulip):

Maybe the name design meeting is wrong -- but the reason I came up with it, is that I imagined that we would use a similar format to dig into complex questions for which we don't have a ready answer

nikomatsakis (Feb 15 2019 at 20:02, on Zulip):

once we've covered the sort of "background material"

nikomatsakis (Feb 15 2019 at 20:03, on Zulip):

so maybe the thing to do is to setup a Doodle for a weekly meeting of this kind? (vs 1 off scheduling)

nikomatsakis (Feb 15 2019 at 20:03, on Zulip):

and/or maybe we just call it the "Traits explainer videos"

nikomatsakis (Feb 15 2019 at 20:03, on Zulip):

and leave the "design meeting" stuff for another time, or try to do those on Zulip

nikomatsakis (Feb 15 2019 at 20:03, on Zulip):

(one concern I have with doing active design over Zoom -- it has high bandwidth -- but it can also shut out folks because of language barrier)

Sunjay Varma (Feb 15 2019 at 20:24, on Zulip):

"Walkthrough Video"

Sunjay Varma (Feb 15 2019 at 20:24, on Zulip):

This is a great idea!

Sunjay Varma (Feb 15 2019 at 20:24, on Zulip):

"Rust Compiler Current Implementation Video Series" (RCCIVS)

Sunjay Varma (Feb 15 2019 at 20:24, on Zulip):

:joy:

Cem Karan (Feb 15 2019 at 20:29, on Zulip):

Yes, please! But I think that this should be something that is redone on a periodic basis; that is, every couple of years, start over from the very beginning. That way, you don't get a stale video from 5 years ago that explains how the compiler used to be.

Cem Karan (Feb 15 2019 at 20:30, on Zulip):

And I like @Sunjay Varma's RCCIVS idea, especially if the current part is kept up to date.

nikomatsakis (Feb 15 2019 at 20:31, on Zulip):

So, I had a separate idea, which is related

nikomatsakis (Feb 15 2019 at 20:31, on Zulip):

I wantd to take an example program

nikomatsakis (Feb 15 2019 at 20:31, on Zulip):

and walk through the compiler piece by piece

nikomatsakis (Feb 15 2019 at 20:31, on Zulip):

showing how it is compiled

nikomatsakis (Feb 15 2019 at 20:31, on Zulip):

and repeat this, yes, yearly

nikomatsakis (Feb 15 2019 at 20:31, on Zulip):

these don't have to be entirely separate, of course...

Wesley Wiser (Feb 15 2019 at 20:32, on Zulip):

That would be really interesting! :thumbs_up:

Cem Karan (Feb 15 2019 at 20:32, on Zulip):

Works for me; kind of like a lecture series

Sunjay Varma (Feb 15 2019 at 20:32, on Zulip):

that would be amazing

Cem Karan (Feb 15 2019 at 20:32, on Zulip):

I'm starting to think that this should be called 'Rust University' :wink:

Cem Karan (Feb 15 2019 at 20:35, on Zulip):

I do like the idea of going through an example program and seeing every step of what happens. I want to write a new tool that automatically adds in boilerplate to my source files, but I don't know where to start (probably libsyntax, but I might need to go lower), and seeing how the compiler works step-by-step would be helpful.

nikomatsakis (Feb 15 2019 at 20:36, on Zulip):

I'm starting to think that this should be called 'Rust University' :wink:

heh, you joke, but that video idea was scaled back from my idea to have a "rustc course"

nikomatsakis (Feb 15 2019 at 20:36, on Zulip):

i decided making up exercises was prob too much work to do at first

Cem Karan (Feb 15 2019 at 20:36, on Zulip):

I would like a rustc course

nikomatsakis (Feb 15 2019 at 20:36, on Zulip):

and I'd start with just walkthroughs :)

nikomatsakis (Feb 15 2019 at 20:36, on Zulip):

anyway, let me make a doodle

nikomatsakis (Feb 15 2019 at 20:36, on Zulip):

that's step one of all things

nikomatsakis (Feb 15 2019 at 20:36, on Zulip):

perhaps I should just pick a time

Cem Karan (Feb 15 2019 at 20:36, on Zulip):

Actually, what I would like to do is create a brand-new rust compiler using pest and cranelift.

Cem Karan (Feb 15 2019 at 20:37, on Zulip):

Not for optimizing, but just to learn how all the pieces fit together

nikomatsakis (Feb 15 2019 at 20:37, on Zulip):

perhaps I should just pick a time

/me currently has about 22 outstanding doodle polls to follow up on

Cem Karan (Feb 15 2019 at 20:37, on Zulip):

Basically, a modern compiler design course.

Cem Karan (Feb 15 2019 at 20:38, on Zulip):

@nikomatsakis I honestly have no idea how you have time to do actual work...

Sunjay Varma (Feb 15 2019 at 20:38, on Zulip):

You can call the series Rustc Walkthroughs

lqd (Feb 15 2019 at 21:34, on Zulip):

Into<Rustc>

nikomatsakis (Mar 19 2019 at 22:47, on Zulip):

Revisiting this idea -- maybe this slot we used today (15:00 UTC-04:00) would be good to make regular?

nikomatsakis (Mar 19 2019 at 22:47, on Zulip):

At minimum I thnk there's some more videos to make surveying the overall plans

Last update: Nov 12 2019 at 15:30UTC