Opening Keynote - RustConf 2020
Explore Rust's evolution, community impact, and future vision in this thought-provoking keynote addressing empowerment, sustainability, and inclusive growth in tech.
Rust for Medical Visualization - May 2021
Explore Rust's potential for medical visualization, covering real-time graphics, cross-platform development, and future web technologies like WebGPU and WebAssembly SIMD.
Creative Coding in Rust - Generative Art and Playful Programming
Explore creative coding in Rust using algorithms and the nannou library. Learn to generate digital art, add interactivity, and create playful programs beyond problem-solving.
Rust and Tell - May 2021: Traits, Error Handling, and Cryptocurrency Exchange Development
Explore Rust programming with expert talks on beginner-friendly traits, error handling techniques, and building a cryptocurrency derivative exchange using Rust.
Trait Evaluation Caching in Rust - PR #85186
Explore trait evaluation caching in Rust with Niko and Jack Huey as they explain PR #85186, diving into the intricacies of this performance optimization technique.
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Explore multi-language verification using compiler intermediate representation, focusing on SMAC verifier, Boogie, and Rust support. Learn about tradeoffs and ongoing developments.
Symbolic Testing for Rust with crux-mir
Explore symbolic testing in Rust with crux-mir, covering features, architecture, memory model, generics, unsafe code, and Cargo integration.
Ferrite: A Rust EDSL for Message-passing Protocol Verification
Explore an embedded domain-specific language in Rust for verifying message-passing protocols, enhancing communication system reliability and correctness.
Polonius - Rust's Next-Generation Borrow Checker
Explore Polonius, a cutting-edge borrow checker for Rust, enhancing memory safety and performance in systems programming.
Peeking at Compiler-Internal Data for Fun and Profit
Explore compiler internals to gain insights and optimize code performance, with a focus on Rust's compilation process.
Rust in Safety and Mission-Critical Environments
Explore Rust's potential in safety- and mission-critical environments, focusing on specification needs, trust levels, and the language's unique strengths.
Creusot: A Prototype Tool for Verification of Rust Software
Explore Creusot, a prototype tool for verifying Rust software, covering translation, program logic, prophetic values, and ongoing developments in software verification.
Rustv: Semi-automatic Verification of Unsafe Rust Programs
Explore semi-automatic verification of unsafe Rust programs, focusing on adapting seL4's approach, translating to Isabelle/Simpl, and formalizing safety conditions.
RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story
Explore Rust's safety mechanisms, type system, and semantic interpretations. Dive into lifetime logic, sharing predicates, and Coq implementations of Cell operations.
Verifying That Rust Programs Don't Crash
Learn techniques to ensure Rust programs are crash-free, enhancing code reliability and performance through advanced verification methods.
Towards Automatic Verification of Unsafe Rust with Constrained Horn Solvers
Explore automatic verification techniques for unsafe Rust code using constrained Horn solvers, enhancing program safety and reliability.
Rust and Tell - April 2021
Explore Rust's program verification, distributed networks, and microservices through expert presentations on Creusot, open-source networks, and Cropping.Rocks implementation.
Extern 'WASM' ABI Design Meeting - Rust 2021
Explore Rust's design considerations for the extern 'wasm' ABI, discussing implementation challenges and potential solutions for WebAssembly integration.
Learning Rust with Game Development - Flappy Dragon Tutorial
Explore Rust programming through game development, focusing on creating a simple Flappy Dragon game. Learn language basics and gain insights from an experienced developer's journey with Rust.
Leveraging Rust to Build Cross-Platform Libraries
Explore how Mozilla leverages Rust to build cross-platform libraries, focusing on telemetry for mobile and desktop applications. Learn about reusability and integration across Android, iOS, and Desktop platforms.
A-Mir-Formality Walkthrough: Implementing Copy Trait Rules - 2022-04-20
Explore the implementation of built-in rules for the `Copy` trait in A-Mir-Formality, enhancing your understanding of Rust's type system and trait mechanics.