Type-Level Programming in Rust

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… Read more

Read full article

Similar

Open Source Security, Inc. Announces Funding of GCC Front-End for Rust

Open Source Security, Inc is proud to announce its funding of a full-time and public development effort of a GCC front-end for Rust. (more…)

Rust Scrap with Wayland Support

Yet another remote desktop software. Contribute to rustdesk/rustdesk development by creating an account on GitHub. (more…)

Developing on Windows with Rust

Get started developing with Rust using Windows, including setup for your development environment, Rust for Windows, and code examples. (more…)

Stacked borrows, an aliasing model for Rust

Paper Talk at POPL Technical Appendix Coq Formalization Artifact (with VM) ... (more…)

Optimizing 700 CPUs Away with Rust

In Tenable.io, we are heavy users of Datadog custom metrics. Millions of metrics are sent through Dogstatsd, providing deep insights into… (more…)

Latest News

Textual,a TUI framework for Python inspired by modern web development

Python 3.11 Performance Improvements

Envelope: Send email / sign / encrypt / attach files with single line in Python