User loginNavigation |
archivesRustBelt: Securing the Foundations of the Rust Programming LanguageRustBelt: Securing the Foundations of the Rust Programming Language by Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer:
Rust is definitely pushing the envelope in a new direction, but there's always a little wariness around using libraries that make use of unsafe features, since "safety with performance" is a main reason people want to use Rust. So this is a great step in the right direction! By naasking at 2017-07-10 15:14 | Functional | Object-Functional | Type Theory | login or register to post comments | other blogs | 15868 reads
|
Browse archivesActive forum topics |
Recent comments
4 days 4 hours ago
4 days 8 hours ago
4 days 8 hours ago
22 weeks 5 days ago
27 weeks 11 hours ago
28 weeks 4 days ago
28 weeks 4 days ago
31 weeks 2 days ago
35 weeks 6 days ago
35 weeks 6 days ago