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

      63 ratings

      More shows like Rustacean Station

      View all
      Software Engineering Radio - the podcast for professional software developers by team@se-radio.net (SE-Radio Team)

      Software Engineering Radio - the podcast for professional software developers

      272 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      290 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      622 Listeners

      Talk Python To Me by Michael Kennedy

      Talk Python To Me

      584 Listeners

      Python Bytes by Michael Kennedy and Brian Okken

      Python Bytes

      215 Listeners

      Late Night Linux by The Late Night Linux Family

      Late Night Linux

      164 Listeners

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

      Syntax - Tasty Web Development Treats

      986 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      189 Listeners

      2.5 Admins by The Late Night Linux Family

      2.5 Admins

      98 Listeners

      Software Unscripted by Richard Feldman

      Software Unscripted

      29 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      66 Listeners

      Developer Voices by Kris Jenkins

      Developer Voices

      30 Listeners

      Rust in Production by Matthias Endler

      Rust in Production

      26 Listeners

      Self-Directed Research by OneVariable GmbH

      Self-Directed Research

      15 Listeners

      The Pragmatic Engineer by Gergely Orosz

      The Pragmatic Engineer

      72 Listeners