Explore three diverse Rust-focused presentations in this 1-hour 26-minute conference talk. Begin with Xavier Denis' discussion on program verification using Creusot for safer Rust development. Next, delve into Bernhard Borges' insights on leveraging Rust to construct open-source distributed networks. Conclude with Andreas Klostermaier's showcase of Cropping.Rocks, a microservice built with Rust, Rocket, and WebAssembly technologies.
Overview
Syllabus
Rust & Tell - April 2021
Taught by
Rust
Related Courses
-
Rust and Tell Berlin - April 2020 - Online Meetup Presentations
-
Rust and Tell 2021 Kickoff - Foundation, WebAssembly Games, and CI/CD
-
Creusot: A Prototype Tool for Verification of Rust Software
-
Cargo-nono: Detecting Non-Obvious No-std Compatibility Issues - Rust and Tell April 2019
-
Rust and Tell - May 2021: Traits, Error Handling, and Cryptocurrency Exchange Development
-
Rustv: Semi-automatic Verification of Unsafe Rust Programs
