muddydixon のブックマーク / はてなブックマーク

muddydixon のブックマーク 2017/05/25 18:04

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/316813985/comment/muddydixon" data-user-id="muddydixon" data-entry-url="https://b.hatena.ne.jp/entry/s/speakerdeck.com/kuenishi/formalization-and-proof-of-distributed-systems-ja" data-original-href="https://speakerdeck.com/kuenishi/formalization-and-proof-of-distributed-systems-ja" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fspeakerdeck.com%2Fkuenishi%2Fformalization-and-proof-of-distributed-systems-ja" data-user-icon="/users/muddydixon/profile.png">Formalization and Proof of Distributed Systems (ja)</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/distributed">distributed</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/paxos">paxos</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/raft">raft</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/algorithms">algorithms</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/consensus">consensus</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/presentation">presentation</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/jepsen">jepsen</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/muddydixon/20170525#bookmark-316813985"><span class="datetime-body">2017/05/25 18:04</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！