今週のまとめ (2017/5/26) - ねぇうしくんうしくん

5月も終わりですね…え？

https://www.sigops.org/hotos/hotos17/papers/hotos17-final92.pdf

VMWare Research が出した、Rustの紹介論文(draft)。システムプログラミングの視点から語っている。

ところで Rust を Linear Type の言語と言っているが正しいのだろうか…？ *1

Rust製の分散合意形成フレームワーク。使いやすさに重点を置いているらしい。使用アルゴリズムはViewstamped Replicationとのこと。

Haskell製のニューラルネットワーク。デザインはシンプルながら自由度が高く、逆伝播はもちろんのことRNNやGANも書ける。

以下の理論も参照すると良い。 blog.jle.im

C言語からGo言語へのアセンブリへ変換するツール。開発動機は C/C++ with SIMD で書かれたツールをGoに移植するために作ったとのこと。

C++のオブジェクトシステムでつまづきやすいvtables に関する解説

exponential backoff について調べたときに出てきた Ruby のライブラリ。exponential backoff とは、要求が失敗しリトライをする際に 2^k (kはリトライした回数) 分の sleep を入れる制御機構。イーサネットで使われている。

https://www.cs.cmu.edu/~jarulraj/talks/2017.nvm.sigmod.pdf

最近 Intel が不揮発性RAMを組み込んだやつを出したが、そういうのはどこで使うのという疑問に答えるもの。

Gitコマンドを拡張する。masterを取ってきてブランチする git hack やブランチを進行中の変更とともに更新する git sync などがある。

コメントに疲れが出ている。