![@ahelwer@discuss.systems avatar](https://kbin.social/media/cache/resolve/avatar_thumb/8b/02/8b02bc4d41983df6bb963c2e49c3847a7dc51a10d228847ccc3b000aa9dd003e.jpg)
![@ahelwer@discuss.systems](https://kbin.social/media/cache/resolve/user_cover/7e/ba/7eba7a27770a5d7617daec791f17d5bafb3aa477e012b3e0fb3296b02259c9fa.jpg)
![@ahelwer@discuss.systems avatar](https://kbin.social/media/cache/resolve/avatar_thumb/8b/02/8b02bc4d41983df6bb963c2e49c3847a7dc51a10d228847ccc3b000aa9dd003e.jpg)
Freelance software engineer focused on formal methods & distributed systems, with an intensive side-interest in quantum computing. 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. Browse more on the original instance.