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.
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.
Psychology of Programming: Approaches to Evaluating Proposed Changes in Rust - 2022
Explore psychological aspects of programming and decision-making processes in Rust language development with insights from Felienne Hermans.
Nightgraph - Putting Code to Paper with Rust
Explore Nightgraph, a Rust-based creative coding environment for interactive sketching, featuring minimal boilerplate and efficient tools for digital art and plotter-ready designs.
MindBuffer and Nannou - Creating Large-Scale Art Installations with Rust
Explore the creation of nannou and its use in large-scale art installations by MindBuffer. Learn about creative coding, Rust's role, and open-source projects in digital art.
Introduction to WAGI - Rust Linz
Explore WAGI, an experimental project for writing HTTP handlers as WebAssembly binaries, with architectural insights and Rust sample code from experienced developers Stefan and Rainer.
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.
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.
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.
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.
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.
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.