Rust is a young and exciting systems language that has a lot of potential in a vast range of range if applications. Rust programs can be built to target just about any platform. I wouldn’t be… (more…)

Let’s demystify video codecs by writing one from scratch in about a hundred lines of Rust. (more…)

Introduction Original Chapter 1 Update Thank you wholeheartedly for the support and the comments on this post. Some mistakes were fixed and some things are now better clarified. Also thanks to soruh for the optimization PR to the repository (already merge... (more…)

a pragmatic point-free theorem prover assistant. Contribute to advancedresearch/poi development by creating an account on GitHub. (more…)

I've recently been writing a bit of parsing code in Rust, and I've been jumping back and forth between a few different parsing libraries - they all have different advantages and disadvantages, so I wanted to write up some notes here to help folks who are ... (more…)