RustLab 2023
2023-11-19..2023-11-21
Florence, Italy
RustLab ·
[RustLab 2019, RustLab 2020, RustLab 2021, RustLab 2022, RustLab 2023, RustLab 2024, RustLab 2025]
who it's for
rust developers, kernel developers, systems programmers, web backend developers, wasm plugin developers, release engineers, platform engineers
topics
Rust in the Linux kernel; GAT-powered compile-time proofs; trait-system ABI generation; Pavex blueprint transpiler; rustdoc JSON reflection; crate workspace release automation; cargo-semver-checks integration; semantic search with rust-bert; tch/libtorch embeddings; Qdrant vector search; WASI plugins for Zellij; deterministic async executor
| title | author | length |
|---|---|---|
| Rust in the Linux kernel | Alice Ryhl | 51m |
Rust code replaces the Android binder driver with a feature-par Rust implementation that passes Android tests and even boots a device, showing microbenchmarks… | ||
| Rust's trait system is a proof engine, let's make it prove us an ABI! | Pierre Avital | 36m |
Claims that Rust's trait system can do real computation to produce a stable ABI and demonstrates a working crate that does it. It uses GAT-powered proofs and… | ||
| Pavex: re-imaging what API development looks like in Rust | Luca Palmieri | 59m |
Pavex is a new Rust web framework built in about 12 months that aims to make API development ergonomic by generating a server SDK and executable from a… | ||
| Release-plz: releasing crates like it's 2023 | Marco Ieni | 48m |
A tool that automates release PRs for Rust workspaces: it scans commits, bumps Cargo.toml versions, updates changelogs, opens a release PR, and on merge… | ||
| Live coding a quick & easy semantic search with Qdrant from scratch | Andre Bogus | 46m |
Live codes a working semantic search built in Rust end to end: an rust-bert embedding pipeline using the miniLM L12 v2 model (384‑dim, cosine similarity) via… | ||
| Developing WebAssembly Rust plugins for Zellij | Aram Drevekenin | 53m |
Shows a concrete WebAssembly plugin system for Zellij that replaces a PTY-backed pane with a WASI runtime running .wasm files, using Rust SDK plus… | ||
| Property-testing async code in Rust to build reliable distributed systems | Antonio Scandurra | 40m |
Claim: nondeterministic awaits hide races; solution is a deterministic executor that uses Rust futures plus async_task and rand to control scheduling… | ||
| nothing matches | ||