Proving practical distributed systems correctblog.acolyer.org2 points·timclark··0 commentsOpen articleSaveView on HN