A cryptographically verifiable code review system for the cargo (Rust) package manager. - GitHub - crev-dev/cargo-crev: A cryptographically verifiable code review system for the cargo (Rust) packag... (more…)

If you’re a developer looking to build a reliable, memory safe, high performance application today, Rust & Go are surely your options. If you’re looking even more performance out of your internal… (more…)

Currently, the Rust components are built differently on Android vs Linux. We are missing Rust support in our GN toolchain so we currently build the Rust libraries as a staticlib and link in C++. This may change in the future once we have better support. (more…)

Valitron is an ergonomics, functional and configurable validator - GitHub - tu6ge/valitron: Valitron is an ergonomics, functional and configurable validator... (more…)

Recently, @withoutboats challenged me to demonstrate a hypothetical version of Pin with different guarantees, and show how it would be sound. However, while working on that, I stumbled upon unsoundness in the actual Pin. I haven't seen this reported bef... (more…)