최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →
AI Engineer오늘 +6Matthew Berman어제 +478Theo - t3․gg어제 +51a16z어제 +1The Builders어제 +1硅谷101어제 +1SemiAnalysis어제 +1Chris Williamson어제Cheeky Pint어제Invest Like The Best어제

필터 결과

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보안과 안전