Stream: t-compiler

Topic: rustc lecture series: miri


nikomatsakis (Mar 05 2019 at 14:55, on Zulip):

Starting soon:

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 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.

Join Zoom Meeting

oli (Mar 05 2019 at 16:29, on Zulip):

The notes are under https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg#

davidtwco (Mar 05 2019 at 16:30, on Zulip):

I can't wait to watch the recording, thanks @oli and @nikomatsakis!

blitzerr (Mar 05 2019 at 16:38, on Zulip):

@oli has it started ? Zoom says "wait for host to start the meeting" to me

centril (Mar 05 2019 at 16:38, on Zulip):

@blitzerr the meeting is over; a recording should be available on youtube soon

centril (Mar 05 2019 at 16:39, on Zulip):

until then, there's the hackmd notes above.

blitzerr (Mar 05 2019 at 16:39, on Zulip):

:D

nikomatsakis (Mar 05 2019 at 16:47, on Zulip):

I'll try to post the video ASAP; it's currently "converting" into mp4 format (60%)

nikomatsakis (Mar 05 2019 at 16:47, on Zulip):

then I have to trim off the part at the beginning which we spent trying to figure out how to present:)

Cem Karan (Mar 05 2019 at 22:58, on Zulip):

The notes are under https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg#

Thank you for presenting, and thank you for the notes! I'm just sorry I couldn't stay for the whole thing; I'll have to watch the video.

davidtwco (Mar 06 2019 at 11:41, on Zulip):

Video has been uploaded and Niko has posted a link on the internals forum for those interested.

davidtwco (Mar 06 2019 at 13:33, on Zulip):

That talk was really great.

Last update: Nov 16 2019 at 01:40UTC