# 知った - [[Porcupine]]: [[Linearizability]]チェッカー。[[Go]]製 # やった - [[MIT 6.824]] Lecture 4: Primary-Backup Replicationを見た  - [[VM]]の[[Live migration]]おもしろい - [Testing Linearizability]を読んだ - [[Secure and Efficient Asynchronous Broadcast Protocols]]を読み進めた # 思った - # その他 -