This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

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