“Every application has an inherent amount of irreducible complexity. The only question is: Who will have to deal with it… (more…)

In this post we will take a look at how to write Rust code that can be compiled into a C-ABI compatible dynamic library, and how to use that in PHP via FFI. (more…)

Dynamically changing, partially-stateful data-flow for web application backends. - mit-pdos/noria... (more…)

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…)

Microsoft has deemed C++ no longer acceptable for writing mission-critical software. The industry sorely needs to move to a performant, memory-safe language for its low-low system work. And the best choice on the market today is Rust, Levick said. (more…)