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
  • Email: [email protected]
    • 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
      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      290 Listeners

      Accidental Tech Podcast by Marco Arment, Casey Liss, John Siracusa

      Accidental Tech Podcast

      2,131 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      623 Listeners

      Talk Python To Me by Michael Kennedy

      Talk Python To Me

      586 Listeners

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) by Sam Charrington

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)

      432 Listeners

      Python Bytes by Michael Kennedy and Brian Okken

      Python Bytes

      213 Listeners

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

      Syntax - Tasty Web Development Treats

      984 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      189 Listeners

      Practical AI by Practical AI LLC

      Practical AI

      212 Listeners

      The Real Python Podcast by Real Python

      The Real Python Podcast

      140 Listeners

      Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

      Machine Learning Street Talk (MLST)

      90 Listeners

      Hard Fork by The New York Times

      Hard Fork

      5,470 Listeners

      Software Unscripted by Richard Feldman

      Software Unscripted

      27 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      59 Listeners

      Rust in Production by Matthias Endler

      Rust in Production

      24 Listeners