Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
Matthew Bermangestern +268Theo - t3․gggestern +29AI Engineergestern +6The Buildersgestern +1a16zgestern +2硅谷101gestern +1SemiAnalysisgestern +1Chris WilliamsongesternCheeky PintgesternInvest Like The Bestgestern

Ergebnisse

1 Artikel
Sortieren
KanalJane StreetThemaSicherheitStimmen1 Stimme
11 Folien1:05:59EN
Jane Street· 27. Sept. 2019Derek Dreyer: Proving the Safety of Rust with RustBelt and IrisDerek Dreyer · Max Planck Institute for Software SystemsRust combines safe interfaces with libraries that use unsafe code internally. Derek Dreyer explains how RustBelt verifies those libraries and why its proof needs an expressive logic for concurrency.Programming LanguagesSoftware engineeringSicherheit