Search results for rust

Rust Fundamentals

145 ratings at Coursera

Comprehensive Rust programming course covering fundamentals to advanced concepts. Learn efficient coding, error handling, and project management for reliable, high-performance applications.

• Coursera
• 1 day 16 hours 52 minutes
• On-Demand
• Free Online Course (Audit)

Rust

Controlling Telescope Hardware with Rust

Explore how Rust can control telescope hardware, including motors and cameras. Learn about astrophotography and see stunning space images captured with the demonstrated techniques.

• YouTube
• 21 minutes
• On-Demand
• Free Video

Rust

Embedding Rust in C/C++ Applications

Explore techniques for integrating Rust modules into C/C++ projects, addressing common challenges and providing practical solutions for seamless language interoperability.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Rust

Verus - Verified Rust for Low-Level Systems Code

Explore Verus, a tool for full functional verification of low-level systems code in Rust. Learn about formal methods, specification writing, and proving program correctness beyond type system checks.

• YouTube
• 56 minutes
• On-Demand
• Free Video

Rust

Embedded Rust on ESP32

Explore Rust for ESP32 embedded systems: STD and Bare Metal development, simulator usage, and open hardware board design. Learn about Espressif's support and community-driven initiatives.

• YouTube
• 37 minutes
• On-Demand
• Free Video

Rust

Cross Team Collaboration: Rust Features and Ergonomics - 2021-11-22

Explore Rust's nightly features, pinning, memory model, const support, and ergonomics. Dive into architecture support, trait implementation, and codegen quality for advanced Rust development.

• YouTube
• 55 minutes
• On-Demand
• Free Video

Rust

Code in Rust with RustRover - Exploring IDE Features and Debugging Techniques

Explore RustRover IDE's powerful features for Rust development, including debugging techniques beyond print statements, presented by JetBrains developer advocate Vitaly Bragilevsky.

• YouTube
• 45 minutes
• On-Demand
• Free Video

Rust

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.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Rust

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.

• YouTube
• 49 minutes
• On-Demand
• Free Video

Rust

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.

• YouTube
• 1 hour 15 minutes
• On-Demand
• Free Video

Rust

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.

• YouTube
• 42 minutes
• On-Demand
• Free Video

Rust

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.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Rust

Prusti - Deductive Verification for Rust

Explore deductive verification techniques for Rust programs using Prusti, enhancing code reliability and correctness through formal methods.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Rust

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.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Rust

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.

• YouTube
• 24 minutes
• On-Demand
• Free Video