Rust Nation UK 2025
who it's for
Rust developers, systems programmers, platform engineers, web developers, security engineers, machine learning engineers
topics
unsafe Rust strategies; Miri and Kani verification; Rust + WebAssembly components; edge recommendations with serverless WASM; rayon parallel iterators; portable_simd and rust-cuda; Leptos Dioxus web UIs; Rust in the Linux kernel; crate supply chain tooling; PyO3 Python integration; real-time speech inference with Candle; formally verified cryptography (s2n-bignum)
| title | author | length |
|---|---|---|
| Ensuring Rust Safety: Strategies for Managing Unsafe Rust | Celina Val | 30m |
Claims that you need unsafe in only about 99% of cases you do not, and recommends three concrete strategies: design for safety (example: a 128-variant enum… | ||
| Rust At The Edge | Kailan Blanks | 47m |
Moves content recommendation into the edge using Rust + WebAssembly and a serverless compute platform, preprocessing the Met Museum CSV into vectors with a… | ||
| Parallel Programming in Rust: Techniques for Blazing Speed | Evgenii Seliverstov | 59m |
Claims concrete speedups by using Rayon parallel iterators for task‑parallel data processing, shows a small case fetching crate metadata (surprising tens of… | ||
| The Future of Rust Web Applications | Greg Johnston | 01h 00m |
Claims Rust can run full-stack web UIs with real tooling: uses Leptos, Dioxus, Sycamore plus wasm-bindgen and web-sys; demos show hot-reload hacks and even… | ||
| Rust project goals 2024: Stabilizing Rust in the Linux Kernel | Alice Ryhl | 47m |
Project goal stabilizes concrete Rust features for the kernel: derive smart pointer and arbitrary self types enable custom smart pointers and method receivers… | ||
| Building Software Extensions in Rust using WebAssembly Components | Alexandru Radovici | 01h 01m |
Claims that WebAssembly Components let Rust export rich types without C FFI and solve the ABI problem by using the component model and interface types the talk… | ||
| Crate security in 2025 | Adam Harvey | 50m |
Notes concrete claims and tools: Zed shows 122 direct and 882 unique crate dependencies, bat shows 30 direct and 119 transitive, typical projects have ~200–300… | ||
| Techniques learned from five years finding the way for Rust in Python | David Hewitt | 57m |
Five years of work on PyO3 yields concrete tactics: an API migration from borrowed references to smart pointers that improves performance and ownership… | ||
| Digital Decluttering | Lisa Crossman | 47m |
Gartner 2030 claim that synthetic data will eclipse real data in AI models anchors the talk and the concrete takeaways are tools, numbers and results: demos of… | ||
| Rust in Space! How Rust is Powering Next-Generation Space Mission Simulators | Angus Morrison | 53m |
Ephemerista is an ESA funded open source space mission simulator built in Rust with a locks astrodynamics library and a Python API via pyo3, funded at about… | ||
| How Rust helped us building and deploying Moshi, a state-of-the-art speech model | Laurent Mazare | 01h 01m |
Moshi is a real‑time speech‑to‑speech system that ships an end‑to‑end inference stack in Rust, swaps PyTorch inference for Rust/Candle inference, and serves… | ||
| Graviola: fast, high-assurance cryptography for Rust | Joseph Birr-Pixton | 40m |
Graviola is a Rust cryptography crate that embeds formally verified assembly from s2n-bignum as inline asm converted into Rust macros, keeping unsafe code… | ||
| ABI Resilience | Victor Ciura | 01h 00m |
Argues that Swift 5 stable ABI is a deliberate design with resilience domains backed by runtime metadata and witness tables so libraries evolve without… | ||
| Microsoft is Getting Rusty: A Review of Successes and Challenges | Mark Russinovich | 35m |
Microsoft commits to replacing unsafe C/C++ in key components and shows concrete results: 154,000 lines ported in six months for DirectWrite, yielding 5–15%… | ||
| nothing matches | ||