Posts from '2026'
Even Safer Rust with Miri
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 think there's a wide lack of knowledge about wh ... read more →
2025 in Review
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 had more of a "life" than ever. I took m ... read more →