Freelance software engineer focused on formal methods & distributed systems. TLA⁺ enthusiast!
Living in Atlanta, GA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.
Other random facts: vim user, tea drinker, cyclist, living kidney donor, vegetarian, hoping for a 2000 watt society! he/him
Previously: https://fosstodon.org/@ahelwer
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.