Compiler Lecture Series

(ps I don’t really plan to necessarily have things every week, more like irregular intervals, but what the heck =)

Not exactly a compiler lecture, but related – I just posted two videos about the Salsa framework, which is very similar to what Rustc uses for incremental compilation.

9 Likes

@nikomatsakis is the Zoom conference room the same? I just logged in and it’s giving me info for last week’s talk…

The videos about Salsa are available on YouTube, not Zoom.

Here are the direct links:

1 Like

I understand, but I'm talking about the following:

As I understand it, that will be on Zoom.

1 Like

Whoops, I forgot to post that, didn’t I?

Topic: Cranelift Talk Time: Jan 31, 2019 12:00 PM Eastern Time (US and Canada)

Join Zoom Meeting

2 Likes

Thanks!

Thank you :slight_smile: I thought it starts one hour earlier and was surprised there was no link to the conference room.

The cranelift video is on YouTube here, or it will be once YouTube finishes processing.

5 Likes

Next entry in Rustc Lecture Series: oli-obk talks about the design and use of miri, the MIR interpreter.

Date: March 5, 2019 at 10am UTC-05:00 (Boston time)

Where: Join Zoom Meeting https://zoom.us/j/379898279

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

Note that this event is listed on the compiler team meetig calendar, including full details for how to connect via phone etc.

12 Likes

Another request: hygiene by @petrochenkov

3 Likes

Is there any option to record these meetings to view it later?

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.