Designing Distributed Systems with TLA+(youtube.com)5 points·by QuinnWilton·vor 6 Jahren·0 commentsyoutube.comDesigning Distributed Systems with TLA+https://www.youtube.com/watch?v=ATobswwFwQA&t=1s0 commentsPost comment—