This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Andrew Helwer
@ahelwer@discuss.systems
Joined: 02/12/2024
About Andrew Helwer
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
Lists
ahelwer has no public lists
Timeline
ahelwer has no activity yet