Video stabilization using gyroscope data. Contribute to gyroflow/gyroflow development by creating an account on GitHub. (more…)

RFCs for changes to Rust. Contribute to jswrenn/rfcs development by creating an account on GitHub. (more…)

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…)

A data-first Rust-native UI design toolkit. . Contribute to linebender/druid development by creating an account on GitHub. (more…)

ISRG’s Prossimo project for memory safety aims to coordinate efforts to move the Internet’s critical software infrastructure to memory safe code. When we think about what code is most critical for today’s Internet, the Linux kernel is at the top of the li... (more…)