Deep dive into offensive security with the Rust programming language... (more…)

A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy! - GitHub - crablang/crab: A community fork of a language named ... (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…)

Recently I aliased top to ytop. Then I became aware of bottom, and zenith. These are all terminal based system monitoring tools that you might use instead of top. In this post I set out to compare them. (more…)

Minimal, Rust-inspired, puts debugging helper. Contribute to pawurb/dbg-rb development by creating an account on GitHub. (more…)