Vol.3, No.2.

UNSATlog

2022-02-07

おお、そうじゃった、オリンピックにもdistracted。

先月のまとめ

予告していた通り1月も進展なし。ただし数回nix関係のコミットなどしてdev-0.15.0のブランチを切った。 まだ何も読んでないけど準備はちょっとしてある。 さあ就職活動（あああ12月のメール捨てなければよかった）とかadvent of code 2016とかに気をそらされなければ、今月はいよいよ復帰の予定。 健康にも気をつけなければね。