Containerd and Friends Update: What's New in Runtimes
Explore the latest developments in containerd, including sandboxes, CRI and CNI improvements, and new Rust-based projects. Learn about architectural enhancements and the growing ecosystem of non-core projects.
Prusti - Deductive Verification for Rust
Explore deductive verification techniques for Rust programs using Prusti, enhancing code reliability and correctness through formal methods.
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.
How to Write a Distributed Key Value Store in Rust Using CURP Protocol
Learn to implement a distributed key-value store in Rust using CURP protocol, exploring consensus, storage design, and testing techniques for distributed systems.
intermezzOS - A Teaching Operating System for Systems Programming
Explore systems programming concepts through intermezzOS, a teaching operating system designed for experienced developers transitioning to low-level programming.
Vagga: Containerization Without Daemons for Development Environments
Explore Vagga, a containerization tool for development environments, offering more features than Docker in a smaller codebase. Learn how Rust enhances container functionality.
TiKV - Building a Distributed Key-Value Store with Rust
Explore the development of TiKV, a distributed key-value store built with Rust. Learn about implementing distributed transactions, horizontal scalability, and key challenges in creating a modern database from scratch.
Setting Up an Environment for Writing Linux Kernel Modules in Rust - Mentorship Session
Hands-on guide to set up a development environment for Linux kernel modules using Rust. Covers software installation, kernel building, and debugging tools on Ubuntu.
Run Fast! Catch Performance Regressions in eBPF with Rust
Learn to prevent performance regressions in eBPF programs using Rust, continuous benchmarking, and open-source tools. Maximize and maintain project performance through practical examples and CI implementation.
Rust-Based VirtIO Backends for Hypervisor-Agnostic Solutions
Explore Project Stratos: leveraging VirtIO for hypervisor-agnostic backends, implementing vhost-user daemons in Rust, and integrating with Xen for versatile virtualization solutions.
bcachefs: An Overview of the Linux File System
Explore bcachefs, its applications, status, and debugging techniques. Learn about network file systems and gain insights into DragonStack trace and Rust.
Iroh - Taking IPFS to Millions of New Places
Explore Iroh, a new Rust-based IPFS node designed for seamless connectivity across endpoints. Learn its design and implementation to enhance your web3 networking capabilities.
Run Fast! Catch Performance Regressions in eBPF with Rust
Implement continuous benchmarking in eBPF programs using Rust. Learn to write benchmarks, integrate them into CI, and prevent performance regressions in both client and kernel-side code.
Packaging Rust Applications for Debian and Ubuntu - GTK-rs Tech Stack Focus
Explore the process of packaging Rust applications for Debian, with a focus on GTK-rs tech stack and GTK rust GUI apps. Learn about free software integration in Debian and Ubuntu.
Istio Ambient Service Mesh Made Simple
Explore Istio ambient mesh's simplified operations, broader compatibility, and reduced costs. Learn about recent updates, including a lightweight Rust-based ztunnel and streamlined xDS configuration, through demos and architectural insights.
Breaking MPC Wallets and Digital Custodians - HITB2023HKT
Unveiling TSSHOCK: New key extraction attacks on Multi-Party Computation wallets and digital asset custody solutions, demonstrating vulnerabilities in widely-used Threshold Signature Schemes.
Diplomat: Idiomatic Multi-Language APIs for Rust - Rust Zürisee March 2024
Explore Diplomat, an experimental Rust tool for generating FFI definitions, enabling seamless integration of Rust code with multiple programming languages through high-level bindings.
Ingress-Nginx and 2024 Plans - Roadmap and Future Developments
Explore ingress-nginx's 2024 roadmap, including modsecurity, potential LUA replacements, and challenges in decoupling control and data planes. Gain insights into future developments and strategies.
Hooking Libc Calls to Debug Kubernetes Apps - When They Go High, We Go Low
Explore innovative debugging techniques for Kubernetes apps using low-level Rust code to hook libc calls, enabling local testing and debugging in cloud conditions.
CI with Rust and GitLab Self-Hosting - Experience Report and Best Practices
Explore self-hosting CI for private code using Rust and GitLab, covering advanced features, costs, and practical implementation strategies for medium to large projects.
Encrypted File System for Rust and Android Applications - Rust Zürisee 2023
Explore encrypted file systems for Rust/Android apps, focusing on multi-key secret handling, virtual file systems, and device synchronization. Learn about application-level encryption and native integration.