Compiler Lecture Series

The meetings are usually recorded and posted to the Rust YouTube channel.

1 Like

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

(And yes, it will be recorded and posted)

1 Like

Video now available on YouTube

8 Likes

Latest video:

Representing types in rustc

This discussion covers how types are represented in rustc. It discusses the Ty type, generics and substitution, and type folding. The Dropbox paper document that is being shared in the video can be found here.

Note: This video is part of an experiment taking place in the compiler team’s new learning working group. The hope is that we can make videos like this which can then be turned into new chapters for the rustc-guide, for those who prefer not to watch videos.

6 Likes

Any way to increase quality of video? It is hard to look at 360p, in particular look at text during video.

Hmm, maybe. The original source does appear to be higher resolution, not sure what happened along the way.

UPDATE: Or maybe youtube just wasn't done processing? Not sure.

That’s correct. YouTube first processes the 360p variant of the recording. After that, higher quality encodings are created, but it can take some time for those to be available.

See also: Low video quality after upload - YouTube Help

For my channel, it can sometimes take several hours before the 4K videos are available.

edit: just to add, if the 360p video is of no use (as is the case for my videos, precisely because code is unreadable, making the video useless), you can keep the video on private until a higher resolution version becomes available.

Unfortunately, YouTube has no mechanism to automate this (I’ve got it on my list to write a tool that uses their API to automate this for me, written in Rust of course, and recorded while building it).

1 Like

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.