# 知った - [[Hermes]] - [[Linearizability|Linearizable]]な[[Replication]]プロトコル。Linearizabileなのに[[Local read]]ができて、かつ同時書き込みができる。おかげで、高スループット・低レイテンシ。しかもすごいシンプルなプロトコル。クールすぎる。 - [[DNS]]の[[SOA]]レコードにはシリアル番号がある - セカンダリサーバーのバージョンを更新する必要があるかどうかはシリアル番号で知る # やった - Big Data Systemのテストを受けた - DelightのMTGに出た - 卒論指導を受けた - 近況としては、アルゴリズムのProofを書いていたら問題に気づいて、またアルゴリズムを考え直してProofの概略ができたというところ。1歩進んで2歩戻ってまた1歩…という感じである。もう11月も半ば。 # 思った - Xを見たら[[PoET]]の話が出ていて、IntelとSGXをトラストするなんて、ほんとになんのためにブロックチェーンってあるんだろう…と思った(n回目) - レディバードに行ったら、チーズオムカレー? 的なものが限定メニューであった。美味しかった。 # その他 - 最近は大学のローソンのドリップコーヒーが売り切れ続けていて、いつもカップコーヒーを買う羽目になっている…。