Yesterday, Influxdata released a new product called InfluxDB IOx written on Rust. That solution covers a few different cases comparing to… (more…)

Cross building Rust code with Nix in one click. Contribute to syncom/rust-cross-build-nix development by creating an account on GitHub. (more…)

We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust tha... (more…)

Orchestrate end-to-end encryption, mutual authentication, key management, credential management & authorization policy enforcement — at scale. - ockam/documentation/use-cases/end-to-end-encrypt... (more…)

The Cryptowatch team has recently welcomed Héctor Ramón, also known as hecrj, who is the author of a Rust GUI framework called iced. Héctor has joined us as our first full-time Rust developer. Héct… (more…)