Merging, patches, and pijul (a VCS without merge conflict written in Rust)

In the last post, I talked about a mathematical… Read more


GTK GUI development in Rust

This unofficial GTK Rust tutorial series will focus on documenting important GTK features, demonstrating how they are used in practice, and displaying some Rusty software techniques along the way, as we explore what GTK GUI development in Rust is like. (more…)

Read more »

Bellman: zk-SNARKs in Rust

Bellman is a Rust-language library for building zk-SNARKs — small, cheap-to-verify zero-knowledge proofs of arbitrary computations. The goal of bellman is to make it easier for the general public to use and experiment with zk-SNARKs, and also as a step fo... (more…)

Read more »