54 min listen
High Assurance Rust with Tiemoko Ballo
ratings:
Length:
58 minutes
Released:
Jul 8, 2022
Format:
Podcast episode
Description
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: hello@rustacean-station.org
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
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: hello@rustacean-station.org
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
Released:
Jul 8, 2022
Format:
Podcast episode
Titles in the series (100)
RustFest Interviews Triple Feature: Rust Release Engineering; Developing the Developer Tools; Rust in Latin America by Rustacean Station