A file system is responsible for organising and providing an abstraction over the storage devices where the data is physically stored. In this post, we will learn more about the concepts used by file systems, and how they fit together when writing your ow... (more…)

Educational blog posts for Rust beginners. Contribute to pretzelhammer/rust-blog development by creating an account on GitHub. (more…)

Programmers learning Rust struggle to understand ownership types, Rust's core mechanism for ensuring memory safety without garbage collection. This paper describes our attempt to systematically design a pedagogy for ownership types. First, we studied Rust... (more…)

A columnar storage layer for key-value stores. Contribute to jzombie/rust-llkv development by creating an account on GitHub. (more…)

Stateright is a model checker for distributed systems. It is provided as a Rust library, and it allows you to verify systems implemented in ... (more…)