The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.
... (more…)
Read more »
ScyllaDB engineers developed a shard-aware Rust driver during our internal hackathon. Find out its features and how fast it really is! (more…)
Read more »
In this post we explore double faults in detail. We also set up an Interrupt Stack Table to catch double faults on a separate kernel stack. This way, we can completely prevent triple faults, even on kernel stack overflow.
Read more »
Rust's type-erasing dyn Trait offers a way to treat different implementors
of a trait in a homogenous fashion while remaining strictly and statically
(i.e. compile-time) typed. For example: if you want a Vec of values which
implement your trait, but they... (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 »