@ahelwer@discuss.systems
Joined: 02/12/2024
TLA⁺ core developer. Love formal methods & distributed systems!
Living in Seattle, WA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.
Other random facts: vim user, nix/arch dual-booter, dual Canadian/US citizen, loose-leaf tea drinker, cyclist, living kidney donor, vegetarian, ecosocialist dreaming of a 2000 watt society! he/him
ahelwer has no public lists
ahelwer has no activity yet