Distributed systems showdown – TLA+ vs. real codeyoutube.com1 point·pron··0 commentsOpen articleSaveView on HN