Hi, I’m Rain, and welcome to my little corner of the internet. You might be interested in learning more about me or my professional and hobby work. You might also be looking for my Rust-related tutorial content:

Be sure to check out cargo-nextest, a next-generation test runner for Rust that I’m the project lead of.

Open and closed universes

How to write types that represent choices.
Read more →

What I use, late 2020 edition

The digital tools that make my life better.
Read more →

The social consequences of type systems

Types are for people.
Read more →

Thinking about dependencies

Opinions about relying on other people’s work.
Read more →