Ahelwer@discuss.systems
Ahelwer@discuss.systems
ahelwer@discuss.systems
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