Transcription originale · anglais

Derek Dreyer: Proving the Safety of Rust with RustBelt and Iris

DDDerek DreyerIntervenant · Max Planck Institute for Software Systems
Chaîne
Jane Street
Vidéo
1:05:59
Langue de la transcription
anglais
Source
Sous-titres automatiques YouTube, non relus

Voici la transcription originale de la vidéo, telle quelle et non relue. Le texte intégral remanié, le résumé et les traductions sont sur la page de l'article.

Retour à l'articleOuvrir sur YouTube

Chargement de la transcription…