A portable hashing algorithm that heavily optimized for performance and quality, incorporating structures never before implemented. - eternal-io/museair... (more…)

The Little Book of Rust Macros. Contribute to fprijate/tlborm development by creating an account on GitHub. (more…)

A programmer torpedoes the idea of writing Linux drivers in Rust. A solution to the dispute is not in sight, but it is probably only a matter of time. (more…)

We use our security observability agent, ingraind, to monitor our daily Zoom "standup" meeting, and decided to analyse the results in this blog post. (more…)

When the Prusti Assistant extension is active, Rust files can be verified in one of the following ways: (more…)