Recently some of the Miri contributors published a paper that was accepted to POPL. I've been using Rust professionally for about 7 years now, and while I'd heard of Miri several times over the years,...

I have never done one of these kinds of public posts, but saw a few from friends so I thought it might be useful! This year I was simultaneously more focused on my technical craft than ever, but also ...