Designing Distributed Systems with TLA+youtube.com5 points·QuinnWilton··0 commentsOpen articleSaveView on HN