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

Das ist das Originaltranskript des Videos, unverändert und unbearbeitet. Der überarbeitete Volltext, die Zusammenfassung und die Übersetzungen stehen auf der Artikelseite.