Transcripción original · inglés

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

DDDerek DreyerPonente · Max Planck Institute for Software Systems
Canal
Jane Street
Vídeo
1:05:59
Idioma de la transcripción
inglés
Fuente
Subtítulos automáticos de YouTube, sin revisar

Esta es la transcripción original del vídeo, tal cual y sin editar. El texto completo editado, el resumen y las traducciones están en la página del artículo.

Volver al artículoAbrir en YouTube

Cargando la transcripción…