The meetings are usually recorded and posted to the Rust YouTube channel.
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.
(And yes, it will be recorded and posted)
Latest video:
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.
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).
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.