Rust Courses

Hacspec: Executable and Verifiable Specifications for High-Assurance Cryptography

Explore hacspec: a domain-specific language for writing succinct, executable, and verifiable specifications for high-assurance cryptography in Rust.

• YouTube
• 26 minutes
• Self-Paced
• Free Video

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.

• YouTube
• 29 minutes
• Self-Paced
• Free Video

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.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

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.

• YouTube
• 1 hour 26 minutes
• Self-Paced
• Free Video

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.

• YouTube
• 55 minutes
• Self-Paced
• Free Video

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.

• YouTube
• 1 hour
• Self-Paced
• Free Video

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.

• YouTube
• 41 minutes
• Self-Paced
• Free Video

Rust, Kubernetes, and the Cloud - Leveraging Rust for Azure and Kubernetes

Explore Rust's potential in cloud computing with Azure and Kubernetes. Learn how Rust simplifies code, enhances safety, and integrates seamlessly with cloud technologies through practical demonstrations.

• YouTube
• 54 minutes
• Self-Paced
• Free Video

The Rusting Cloud - Implementing Kubernetes in Rust

Explore Krustlet, a Rust-based Kubernetes Kubelet for WASM modules. Learn about Rust's advantages in cloud software development and its comparison to Go, with insights from real-world implementation.

• YouTube
• 50 minutes
• Self-Paced
• Free Video

Ownership and Borrowing in Rust: A Systems Construction Perspective

Explore Rust's Ownership and Borrowing System from a systems construction perspective, focusing on component interactions and its relevance to programmers from memory-safe language backgrounds.

• YouTube
• 24 minutes
• Self-Paced
• Free Video

Async Programming in Rust and the Actix Framework

Explore async programming in Rust and the Actix framework, covering key concepts, testing, and practical implementation with code examples and live demonstrations.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

Rust and Tell 2021 Kickoff - Foundation, WebAssembly Games, and CI/CD

Explore Rust Foundation, WebAssembly game development, and CI/CD for Rust with GitLab in this informative tech talk featuring industry experts.

• YouTube
• 1 hour 20 minutes
• Self-Paced
• Free Video

Comparing Performance of Range and Counter-Based Loops in Rust

Explore performance differences between loop types in Rust, covering language features, compiler optimizations, and benchmarking techniques through practical examples and in-depth analysis.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

Getting Started with Open Source in Rust

Learn to contribute to open-source Rust projects on GitHub: forking, branching, issue-fixing, and making PRs. Explore Embark Studios' Rust projects and start contributing today.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

Mosaic - A Rusty Terminal Workspace and Multiplexer

Explore Mosaic, an open-source terminal multiplexer in Rust. Learn about its architecture, unique features, and how Rust enables innovative solutions like WebAssembly-based plugins.

• YouTube
• 57 minutes
• Self-Paced
• Free Video