Paper
Talk at POPL
Technical Appendix
Coq Formalization
Artifact (with VM)
... (more…)
Read more »
In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We ... (more…)
Read more »
In this episode of The Lunduke Hour I chat with the founder of the RedoxOS project (a microkernel operating system written in Rust), Jeremy Soller -- and the... (more…)
Read more »
Rust traits have the neat property where you can use them either as generic bounds or as dynamic dispatch, with the &dyn MyTrait syntax. The latter is necessary in heterogeneous scenarios, where you want to use multiple concrete types together that al... (more…)
Read more »
Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working! - GitHub - ryanmcgrath/cacao: Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working! (more…)
Read more »