Intro post for discuss.systems: hi, I'm Andrew! TLA+ is my main thing these days, both on-contract (writing specs, reviewing specs) and personal projects (working on test infra to safely open up the TLA+ tools to changes). Other than that I'm learning/using nix and hoping to get into verified low-level development this year!
I moved here from fosstodon because so many of you are working on & writing about interesting things, and I like scrolling the local feed!
