Stream: t-compiler/const-eval

Topic: compiler lecture series episode on miri


nikomatsakis (Feb 14 2019 at 19:03, on Zulip):

Hey @oli, @RalfJ and/or @eddyb --- I'd like to do the next compiler lecture series episode on miri. I am imagining a talk about how miri is structured, showing the way miri models memory, some details of how this fits in the compiler, maybe a bit about Stacked Borrows etc. What do you think?

RalfJ (Feb 14 2019 at 19:12, on Zulip):

what is the "compiler lecture series"?

lqd (Feb 14 2019 at 19:37, on Zulip):

@RalfJ the series of presentations on different rustc/compiler topics (debuginfo, cranelift, lark, etc), described in more detail on irlo

RalfJ (Feb 14 2019 at 19:52, on Zulip):

oh cool, I had no idea

RalfJ (Feb 14 2019 at 19:52, on Zulip):

hm, I was supposed to reduce my amount of Rust involvement and focus on my thesis :/

nikomatsakis (Feb 14 2019 at 22:29, on Zulip):

@RalfJ lol

nikomatsakis (Feb 14 2019 at 22:29, on Zulip):

this is the opposite of my goal for you :P

nikomatsakis (Feb 14 2019 at 22:30, on Zulip):

that said, I do think that e.g. @oli could surely do a whole talk just on the basic operation of miri

nikomatsakis (Feb 14 2019 at 22:30, on Zulip):

and talking about mechanizing stacked borrows etc would be fine for later

nikomatsakis (Feb 14 2019 at 22:30, on Zulip):

I've also been tinkering with setups that are explicitly designed to minimze the amount of prep work needed

oli (Feb 15 2019 at 07:38, on Zulip):

Is there any preferred presentation format? Like a google doc presentation or markdown or can I just do what I want b/c it's a screen recording?

oli (Feb 15 2019 at 08:12, on Zulip):

oh lol, I already have 20% of the presentation in a local repo

oli (Feb 15 2019 at 08:12, on Zulip):

markdown generated presentation it is

RalfJ (Feb 15 2019 at 08:46, on Zulip):

this is the opposite of my goal for you :P

you don't want me to graduate then, do you? :P

blitzerr (Feb 15 2019 at 15:12, on Zulip):

@nikomatsakis
In the new artifacts repo you created in GitHub, maybe we can have a page with links to all these videos ?

blitzerr (Feb 15 2019 at 15:12, on Zulip):

And maybe a shared calendar with upcoming lectures ?

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

Is there any preferred presentation format? Like a google doc presentation or markdown or can I just do what I want b/c it's a screen recording?

@oli no preferred format. Slides are fine but I wouldn't say required. Something I found worked really well is to create a DropBox paper, work out the rough plan of what you want to say, and then make a fresh dropbox paper for the talk -- then you can just type stuff into it as you go, sort of leaving notes behind, but notes that can be collaboratively updated. (Plus then we can link to the final dropbox paper with the talk, so people can peruse at their leisure) But that may or may not work for this particular material.

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

And maybe a shared calendar with upcoming lectures ?

Yep, I will do this

Santiago Pastorino (Feb 15 2019 at 17:44, on Zulip):

@nikomatsakis
In the new artifacts repo you created in GitHub, maybe we can have a page with links to all these videos ?

where is the artifacts repo you're talking about?

blitzerr (Feb 15 2019 at 18:17, on Zulip):

@Santiago Pastorino
https://github.com/rust-lang/compiler-team/tree/master/working-groups
I was talking about that. Not sure if that's right place but somewhere if we can collect such helpful videos by topics, then it might be easily accessible to anyone even if they miss out on the lecture itself.

nikomatsakis (Feb 22 2019 at 19:01, on Zulip):

@oli So -- should we schedule a date here?

nikomatsakis (Feb 22 2019 at 19:01, on Zulip):

Some time in March? Kind of doesn't matter, more about what works for you

oli (Feb 23 2019 at 08:42, on Zulip):

March sounds good. Any tuesday any time works for me

nikomatsakis (Feb 25 2019 at 18:48, on Zulip):

@oli how about next Tuesday at 10am boston time (same time slot as compiler)?

nikomatsakis (Feb 25 2019 at 18:48, on Zulip):

i.e., Mar 5

Cem Karan (Feb 25 2019 at 18:52, on Zulip):

i.e., Mar 5

Could you put that on the calendar? I suspect that as more new people (like me) come on board, the calendar is going to be more and more important to figuring out what are the 'interesting' events to join in on.

nikomatsakis (Feb 25 2019 at 18:55, on Zulip):

@Cem Karan I plan to, yes, once @oli confirms =)

Cem Karan (Feb 25 2019 at 18:55, on Zulip):

Thanks! :grinning:

nikomatsakis (Feb 25 2019 at 20:26, on Zulip):

Also, @oli, how's this for a little blurb? I'm trying to make this seem a bit more official!


[miri] is an interpreter for MIR, Rust's internal representation. miri is the foundation for Rust's compile time evaluation capabilities. Its design enables it to simulate the workings of the machine at a low-level, meaning that it can interpret not only "safe Rust" but also a lot of unsafe Rust code, including complex and highly optimized libraries like the stdlib hashmap. In this talk, compiler team member oli-obk will dig into how miri works, giving us some insight into its architecture, the way that it represents and reasons about memory, and what kinds of capabilities it offers for Rust itself.

[miri]: https://github.com/rust-lang/miri


OK, I totally made up that set of things you would talk about. Feel free to edit mercilessly.

oli (Feb 25 2019 at 21:26, on Zulip):

I'll edit the message tomorrow, since i'm on mobile rn

oli (Feb 25 2019 at 21:26, on Zulip):

@nikomatsakis time and date is good

Last update: Nov 15 2019 at 20:25UTC