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

      64 ratings

      More shows like Rustacean Station

      View all
      Odd Lots by Bloomberg

      Odd Lots

      1,967 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      289 Listeners

      Security Now (Audio) by TWiT

      Security Now (Audio)

      2,009 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      626 Listeners

      Risky Business by Risky Business Media

      Risky Business

      375 Listeners

      Talk Python To Me by Michael Kennedy

      Talk Python To Me

      583 Listeners

      The Quanta Podcast by Quanta Magazine

      The Quanta Podcast

      547 Listeners

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

      Syntax - Tasty Web Development Treats

      982 Listeners

      Darknet Diaries by Jack Rhysider

      Darknet Diaries

      8,051 Listeners

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

      4,170 Listeners

      Hard Fork by The New York Times

      Hard Fork

      5,530 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      65 Listeners

      Past Present Future by David Runciman

      Past Present Future

      328 Listeners

      Rust in Production by Matthias Endler

      Rust in Production

      26 Listeners

      The Pragmatic Engineer by Gergely Orosz

      The Pragmatic Engineer

      74 Listeners