Hmm, unfortunately the Zoom recording seems to have only recorded the audio from Tom’s presentation! That’s a drag. Luckily, @tromey had the slides in a google presentation so I guess people can hopefully step along. Sorry, still learning how things work here. =(

@sunfishcode is going to talk next Thursday, Jan 31 at 9am UTC-08:00 (Pacific Time), about the cranelift compiler. Feel free to suggest questions to them or guidance on what to cover – I’m particularly interested in getting some details about how they’ve setup their IR and what sorts of optimizations they do, especially as we consider changes to MIR to make it more friendly to optimizing. We’ve also considered using cranelift as a really fast backend for Debug builds and @sunfishcode has done some experimentation on that already.

As before, the meeting will be held and recorded on Zoom. I’ll send out some details in a bit.

Zoom is the leader in modern enterprise video communications, with an easy, reliable cloud platform for video and audio conferencing, chat, and webinars across mobile, desktop, and room systems. Zoom Rooms is the original software-based conference...

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.