Using TLA+ at Work: Designing a Snapshot Coordination Systemahelwer.ca11 points·ahelwer··0 commentsOpen articleSaveView on HN