🦀 What if you could prove your code is correct instead of just testing it? At #RustLab2026, William Takeshi Pereira shows how formal verification can be applied to a real-world IoT protocol, bringing stronger guarantees to production systems with zero runtime cost. Not tested. Proved.

🚀 What if old ideas still had something to teach us? At #RustLab2026, Marcel Koch revisits CGI and shows how Rust can turn a decades-old technology into a lightweight, practical alternative for modern web backends. Sometimes the future looks surprisingly familiar. rustlab.it/talks/back-t...

👻 There are ghosts in your heap. At #RustLab2026, Arya Dradjica dives into the dark side of concurrent programming: lock-free data structures, memory management, and the strange bugs that appear when performance comes first. Equal parts fascinating and terrifying. rustlab.it/talks/talkin...

🦀 Tired of Arc<Mutex<T>> everywhere? At #RustLab2026, Rafael Bachmann shows how Tokio's actors, channels, and async primitives can help you build applications that are easier to test, maintain, and reason about. Beyond async. Beyond locks. rustlab.it/talks/more-a...

🌐 What if your server could choose how it looks on the network? At #RustLab2026, Joe Dye explores TCP/IP fingerprint spoofing, user-space networking, and how Rust powers high-performance systems serving thousands of requests per second. Networking, but with a twist. rustlab.it/talks/tcpip-...

🎵 Raw audio. FFTs. DSP pipelines. At #RustLab2026, Bernice Waweru shows how to build high-performance audio processing pipelines in Rust, from samples to frequency-domain analysis. No unnecessary allocations. Just signal processing. rustlab.it/talks/writin...

🦀 Sometimes scaling isn't about adding more servers. It's about changing the architecture. At #RustLab2026, Dylan Martin shares the story of rewriting a feature flag platform handling hundreds of thousands of requests per minute, moving from Django to Rust to overcome scaling limits

⌨️ Keyboards, game controllers, stream decks... what if you could build your own? At #RustLab2026, Frank Lyaruu will show how Rust makes it surprisingly accessible to create custom HID devices, from embedded fundamentals to real-world hardware projects.

🤖 Robotics is hard. Integrating teams and software stacks is often even harder. At #RustLab2026, Guillaume Binet will introduce Copper, a Rust-based robotics runtime designed to make complex systems safer, more reliable, and easier to build.

🦀 What happens when memory safety moves from software into hardware? At #RustLab2026, Edoardo Marangoni explores the challenges of bringing Rust to a CHERI platform, where pointers behave very differently from what we're used to.

🦀 AI in Rust is growing fast—but which framework should you choose? At #RustLab2026, Ludwig Weinzierl compares Burn and Candle, two of the most prominent machine learning frameworks in the Rust ecosystem, and explores the trade-offs behind their different approaches.

🦀 Every Rust developer trusts `match`. But how does exhaustiveness checking actually work? At #RustLab2026, Iván Ovejero takes us inside the compiler, exploring the algorithms and design decisions behind one of Rust's most beloved guarantees.

🦀 Is `cargo build` the end of the story? At #RustLab2026, Amos Wenger explores what comes next: hermetic builds, remote execution, perfect caching, and a new approach to Rust build systems inspired by the power of tools like Buck2.

🦀 From a simple object to a federated architecture. At #RustLab2026, Emilio Junior Francischetti and Angelo Rendina will guide participants through a hands-on journey from software fundamentals to advanced architectural patterns like Federation and the Strangler Pattern.

🦀 New workshop for #RustLab2026 “Hardening the Wire: Building Type-Safe Security Protocols” Build a secure communication protocol in Rust and learn how to use the type system to enforce security guarantees at compile time. With Lora Vega Vega. rustlab.it/talks/harden...

🦀 New workshop for #RustLab2026 “Make rusty AI: traditional live-coding” Build AI applications in Rust live with Jorge D. Ortiz Fuentes - from LLMs and RAGs to agents and chatbot REPLs using open-source libraries. Code along, ask questions, and explore AI in Rust hands-on. rustlab.it/talks/make-r...

📣 Big news for #RustLab2026! This year the conference is moving to a brand new location: the beautiful city of Bologna 🇮🇹 ❤️ A new city, a new venue, and the same amazing community spirit we love every year.

🤖 Announcing a brand new workshop for #RustLab2026 “Accurate Robot Simulations with Bevy and WASM” Build and test robot control algorithms in Rust — fast, flexible, and without real hardware. With Massimiliano and Michele Mantione.

🥳 We are extremely glad to announce the Schedule and the Speakers of RustLab 2026! rustlab.it/schedule

⏳ CFP closing soon! You have until Monday, April 20 to submit your talk. Send us your proposal before the deadline: https:// sessionize.com/rustlab-2026/

Architecture, Rust-style. ⚙️ Thanks to Luca Palmieri for an insightful tour of dependency injection design patterns and trade-offs in Rust. #RustLab2025 @lpalmieri.com

Game-ready and Rusty! ⚙️ Thanks to Stephan Dilly for making ECS approachable — blending cache-friendliness with simple data semantics. #RustLab2025 @rustunit.com

What a ride through the compiler pipeline! ⚙️ Andrea Bergia showed how to build an interpreter and a JIT in Rust — from ASTs to optimizations. #RustLab2025 #RustLang @andreabergia.com

🧩 Dependency Injection, the Rust way. Luca Palmieri reviews 10 years of design exploration — from Axum to Pavex — in “Dependency Injection in Rust: a Design Review.” 🕓 4:00 PM · 📍 Deep Ocean #RustLab2025 #RustLang @lpalmieri.com

Blazing fast! ⚡ Alessandro Cerruti showed how SIMD can supercharge integer parsing — turning performance theory into real speed. #RustLab2025 #RustLang

An inspiring Rust journey! 🦀 Thanks to Manuel Sopena Ballesteros for sharing how Manta bridges HPC complexity with simplicity and power. #RustLab2025

🧩 Ever built your own language? Andrea Bergia shows how to write an interpreter with a JIT — parsing, ASTs, SSA, and compiler internals made fun! 🕞 3:15 PM · 📍 Deep Ocean #RustLab2025 #RustLang @andreabergia.com

⚙️ Game dev meets Rust! Join Stephan Dilly for “Entity Component Systems for Beginners” — learn how ECS makes Rust data sharing simpler and faster. 🕒 3:15 PM | 📍 Deep Space #RustLab2025 @rustunit.com

⚡ Fast math time! Alessandro Cerruti presents “Parsing integers with SIMD” — a clever way to parse fixed-length integers and handle variable strings with speed. 🕝 2:30 PM · 📍 Deep Space #RustLab2025 #RustLang

🧠 What starts as curiosity can scale to supercomputers. Join Manuel Sopena Ballesteros for “Building Manta” — a Rust-powered leap from first steps to HPC infrastructure. 🕝 2:30 PM | 📍 Deep Ocean #RustLab2025