I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)
Read more »
Rust libraries may never exist. Sure, I know what you're thinking: sure they do. In cargo. Well... it's not what you think. In this video we talk about why R... (more…)
Read more »
Google has begun using Rust in settings where memory safety and performance are key considerations, including in key Android systems.
(more…)
Read more »
A graphical client for plain-text protocols written in Rust with GTK.
It currently supports the Gemini, Gopher and Finger protocols. (more…)
Read more »
Public repository for the Rust keyword generics initiative - keyword-generics-initiative/progress-report-february-2023.md at master · rust-lang/keyword-generics-initiative... (more…)
Read more »