netstack.fm cover image

zerocopy with Joshua Liebow-Feeser

netstack.fm

00:00

Using Rust and Formal Tools for Safer Unsafe Code

Joshua discusses Rust's strengths and how formal verification tools like Kani help reason about unsafe operations.

Play episode from 07:35
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app