最近更新されたチャンネル

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +20Theo - t3․gg昨日 +115AI Engineer昨日 +7a16z昨日 +1Reid Hoffman昨日 +1Chris Williamson昨日 +1Conversations with Tyler昨日The Builders一昨日 +1Citadel Securities一昨日 +1硅谷101一昨日 +1

絞り込み結果

1 件
並び順
チャンネルJane Streetトピックセキュリティと安全性人数1 人
スライド 11 枚1:05:59EN
Jane Street· 2019年9月27日Derek 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 engineeringセキュリティと安全性