Debugging Trait Errors as Logic Programs
Explore a proposed trait debugger for Rust, extracting and visualizing proof trees to facilitate debugging of complex trait errors in any domain and scale.
Flux: Refinement Types for Rust
Explore refinement types for Rust with Flux, enhancing code safety and expressiveness in systems programming.
A Hitchhiker's Guide to Linearity - Lambda Days 2023
Explore the world of linear logic in programming languages, from linear types to ownership systems, and discover their impact on safety and performance.
Rust in the Linux Kernel - A Status Check
Explore Rust's integration into the Linux Kernel, examining current capabilities, limitations, and interactions with existing C code. Gain insights into the progress of Rust adoption.
Your Lambdas in Rust - Building Efficient Serverless Functions
Explore Rust-based Lambda functions for cloud-native development, enhancing performance and reliability in serverless architectures.
Turning Smart Contracts into Indexers with Cross-Compilation in Rust
Explore cross-compilation techniques to transform smart contracts into indexers using Rust. Learn key concepts, blockchain basics, and practical applications with Aurora Engine.
Building Safe and Fast Software for the Future - Rust's Memory Management and Optimization
Explore Rust's memory management, multi-threading, and optimization techniques for building safe, fast software. Learn about ownership, borrowing, and real-world applications.
Why Use Rust for Serverless Workloads
Explore Rust's advantages for serverless workloads, focusing on performance, sustainability, and AWS Lambda implementation. Learn to bootstrap projects and optimize Lambda functions.
SBB - Secure Building Blocks for IoT Systems in Rust - Conf42 Rustlang 2023
Explore Rust's advantages for embedded systems, IoT security, and functional safety. Learn about digital signatures and RustBoot architecture for secure IoT development.
Handling Floating Point Challenges with Rust
Explore floating point challenges in Rust, covering precision, rounding errors, comparisons, NaN handling, and strategies to overcome limitations.
Build a Serverless WebAssembly App in Python Using Spin
Explore WebAssembly's potential in cloud computing. Learn to build serverless apps with Python and Spin, understanding WASM's benefits and its impact on cloud architecture.
Rust Unlinked: Understanding Rustc, Symbols, and Static Libraries
Explore Rust's compilation process, linking, and symbol handling. Gain insights into object files, ELF format, and static libraries. Learn to generate LLVM IR and handle linking errors.
Rusty Swapping: Rewriting a Zswap Backend in Rust
Explore Rust's application in Linux kernel development through a zswap backend rewrite. Compare performance and complexity of C and Rust implementations for subsystem development.
A Whirlwind Tour of Rust - Systems Programming for the Modern Developer
Explore Rust's innovative approach to systems programming, offering C/C++-level performance with enhanced safety features. Learn language fundamentals and modern development tools.
Async Rust: The Good, the Bad, and the Ugly
Explore Rust's async/await feature, its evolution since 2018, strengths, weaknesses, and lessons from production use. Gain insights into its design and future developments.
Istio Ambient Service Mesh Made Easy
Explore Istio ambient mesh's simplified architecture, updates, and benefits. Learn about sidecar-less data plane mode, custom ztunnel, and streamlined configurations through live demos and architectural deep dives.
Giving Rust a Chance for In-Kernel Codecs - Kernel Recipes 2024
Explore Rust integration in kernel development for V4L2 codec drivers, focusing on minimal abstractions and ABI compatibility strategies.
Interfacing Kernel C APIs from Rust - Kernel Recipes 2024
Explore Rust integration in Linux kernel development, focusing on block device driver APIs, safety guarantees, and performance implications for device drivers.
A Tale of Two Flamegraphs - Continuous Profiling in Ruby
Explore Pyroscope gem's internals, combining rbspy and speedscope for advanced Ruby profiling and performance analysis using flamegraphs.
Wrapping Rust in Ruby for Performance Optimization
Explore integrating Rust libraries into Ruby for enhanced performance and security, using the oxidize-rb project to seamlessly incorporate Rust code into Ruby gems.
Creating Our Own Kubernetes and Docker to Run Data Infrastructure
Explore Modal's custom container infrastructure, including a Rust-based file system and runtime, to understand how they launch 1000s of large containers rapidly for efficient data processing.