Rustacean Station

High Assurance Rust with Tiemoko Ballo

Listen Later

Allen Wyma talks with Tiemoko Ballo, author of High Assurance Rust. High Assurance Rust is a book about building performant software we can justifiably trust.

Contributing to Rustacean Station

Rustacean Station is a community project; get in touch with us if you’d like to suggest an idea for an episode or offer your services as a host or audio editor!

  • Twitter: @rustaceanfm
  • Discord: Rustacean Station
  • Github: @rustacean-station
  • Email: [email protected]
    • Timestamps
    • [@0:34] - Tiemeko’s introduction
    • [@2:18] - Defining Safety critical and Mission critical
    • [@3:22] - How to develop software in Rust and have a high assurance?
    • [@8:21] - The lack of standardized behavior and different compilers
    • [@13:29] - Different approaches to assurance testing
    • [@14:54] - How does Rust’s memory safety work?
    • [@20:57] - Temporal memory
    • [@22:59] - What is a borrow checker and how do we know that it’s working properly?
    • [@28:17] - The difference between fuzz testing, property-based testing, and chaos testing
    • [@35:48] - Teimoko’s programming background
    • [@42:55] - Teimoko’s work and projects
    • [@46:15] - Rust’s error handling and concurrency advantages over other languages
    • [@49:29] - What Rust lacks in terms of guaranteeing high assurance and justifiability
    • [@53:17] - How to stay up to date on what’s happening in the security space.
    • [@54:35] - Parting thoughts
      • Credits

      Intro Theme: Aerocity

      Audio Editing: Plangora

      Hosting Infrastructure: Jon Gjengset

      Show Notes: Plangora

      Hosts: Allen Wyma

      ...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