よんだものWeeky 4月 3rd

• Programming Should Be More Than Coding
  • Stanford大学での Leslie Lamport 先生の講演。Youtubeで動画が見られる。
  • プログラミングとは、何を作るかを考え（仕様）、どう作るかを考え（アルゴリズム）、コーディングするという3つのタスクであり、仕様を考えるのはしんどい
  • 仕様を考えるのは本質的に難しい作業だから、書きながら考えるのがよい
  • それを書くための記法としてTLAを使おう
  • というような話。TLA+を使って仕様を記述すると、モデルチェッカーによってエラーがないかの検証ができる
    • AmazonではDynamoDBのコンセンサスアルゴリズムの開発にTLAを使って実際にバグを発見している
• CRATE - Distributed SQL database for the age of Docker
  • Lucene / Elasticsearch をバックエンドに作られたSQLエンジン
    • Prestoも内包しているらしい?
  • https://github.com/crate/crate
• hyflow-go: a geo-replicated, main-memory, highly consistent datastore
  • バージニア工科大の研究チームが開発しているトランザクションフレームワーク HyFlow のGo言語実装
    • http://www.hyflow.org/
  • この修士論文が大元っぽい http://scholar.lib.vt.edu/theses/available/etd-05182011-095228/
• Michael Stonebraker Explains Oracle’s Obsolescence, Facebook’s Enormous Challenge - Tech Trader Daily - Barrons.com
  • Stonebraker先生のインタビュー。技術感が垣間見えて面白い。
  • "It started out, NoSQL meant, ‘Not SQL,’ then it became ‘Not only SQL,’ and now I think it means “Not-yet-SQL’"
  • "I would say they (Facebook) have the hardest database problem on the planet"
  • "Flash is too slow to be really interesting." (NVRAMの文脈で)