In a previous post, I shortly discussed the concept of “effects” and the parallels between them. In an unrelated post since then, Yosh Wuyts writes about the problem of trying to write fallible code inside of an iterator adapter that doesn’t support it. I... (more…)

Simple Rust implementations of selected abstract algebraic structures. (more…)

Web development is the topic of the third video in our series about the Rust programming language. As a safe systems language, Rust…

For whatever reason "linear" types in Rust came up at work today, at which point I made my usual assertion that they're a nightmare, because they don't compose well. I tried to explain it off the top of my head, but I figured it's best for me to just writ... (more…)

A 10-minute lightning talk explaining why I think Rust is the most loved language.Start your Rust journey here: https://doc.rust-lang.org/stable/book/Transcr... (more…)