This is chapter 3.1 of a multi-part series on writing a RISC-V OS in Rust. (more…)
Read more »
I show how to implement event listeners and dependency injection using Rust's type system to avoid common errors in stringly-typed versions of these extensible architectures. (more…)
Read more »
RFCs for changes to Rust. Contribute to rust-lang/rfcs development by creating an account on GitHub. (more…)
Read more »
Paper
Talk at POPL
Technical Appendix
Coq Formalization
Artifact (with VM)
... (more…)
Read more »
Hello Rustaceans, Inspired by the "contributors wanted" wiki, starting issue 120 of This Week in Rust, there will be a new section "Call for Participation" which will highlight tasks from Rust community projects, specially to newcomers who want to get s... (more…)
Read more »