Simple XMPP console client written in Rust and inspired by Profanity. - GitHub - paulfariello/aparte: Simple XMPP console client written in Rust and inspired by Profanity. (more…)

UNDER CONSTRUCTION October 8, 2021: Fix s/LInux/Linux/ typo noted by Miguel Ojeda There has been much discussion of using the Rust language in the Linux kernel (for example, here , here , and here ), at the Kangrejos Rust for Linux Workshop ( here , here ... (more…)

Rust has amazing support for concurrency programming. Today I will cover Mutex, Rc, RefCell, Channels, and Threads. I might make a second po... (more…)

Introducing `safer_ffi`, a Rust framework that allows you to write foreign function interfaces (FFI) without polluting your Rust code with `unsafe` while improving readability. (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…)