Rustacean Station

Compile-Time Evaluation, Interpreted Rust, and UB Sanitizing: Talking to Oliver Scherer about Miri


Listen Later

In the first of our mini-interviews from RustFest 2019, we talk to Oliver Scherer about Miri, an interpreter for rustc’s internal bytecode, its use in const-evaluation, and its potential as an external tool for sanitizing unsafe code.

Contributing to Rustacean Station

Rustacean Station is a community project; get in touch with us if you’d like to be interviewed, propose a topic for an episode, or help create the podcast itself!

  • Twitter: @rustaceanfm
  • Discord: Rustacean Station
  • Github: @rustacean-station
  • Timestamps & referenced resources
    • [@01:15] - What is const-evaluation and what can you do with it?
    • [@03:23] - What is Miri and how long has it been in development?
    • [@07:05] - What does the future hold for Miri?
    • [@07:54] - How long have you been working on rustc and Miri?
    • [@12:22] - How much of Miri does rustc use today?
    • [@13:33] - How does Miri help people detect undefined behavior in unsafe code?
    • [@16:46] - How would a user begin using Miri directly to test their unsafe code?
    • [@19:15] - What happens if you try to const-evaluate unsafe code?
    • [@20:33] - What’s next for const-evaluation in rustc?
    • [@21:58] - Who else is helping to develop Miri?
    • Credits

      Intro Theme: Aerocity

      Audio Editing: alphastrata

      Hosting Infrastructure: Jon Gjengset

      Show Notes: Ben Striegel

      Hosts: Ben Striegel

      ...more
      View all episodesView all episodes
      Download on the App Store

      Rustacean StationBy Rustacean Station

      • 4.9
      • 4.9
      • 4.9
      • 4.9
      • 4.9

      4.9

      62 ratings


      More shows like Rustacean Station

      View all
      Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

      Software Engineering Radio - the podcast for professional software developers

      274 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      284 Listeners

      LINUX Unplugged by Jupiter Broadcasting

      LINUX Unplugged

      265 Listeners

      Talk Python To Me by Michael Kennedy

      Talk Python To Me

      590 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      621 Listeners

      Python Bytes by Michael Kennedy and Brian Okken

      Python Bytes

      215 Listeners

      Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

      Syntax - Tasty Web Development Treats

      987 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      189 Listeners

      Kubernetes Podcast from Google by Abdel Sghiouar, Kaslin Fields

      Kubernetes Podcast from Google

      181 Listeners

      The Real Python Podcast by Real Python

      The Real Python Podcast

      139 Listeners

      Signals and Threads by Jane Street

      Signals and Threads

      72 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      47 Listeners

      Rust in Production by Matthias Endler

      Rust in Production

      19 Listeners

      Self-Directed Research by OneVariable GmbH

      Self-Directed Research

      11 Listeners

      The Pragmatic Engineer by Gergely Orosz

      The Pragmatic Engineer

      63 Listeners