New Year Resolutions

For most of us, the change of the year is an occasion for thinking about what we missed doing last year and where we want to improve. I decided there are a couple of things where I would like to do better in 2016 than in 2015. The first is that I would like to do more blogging and writing in general. I have been pretty silent for most of the last year. This was mostly caused by the fact that I had

[takc923]

Scalaをsimpleにするのは本当にやって欲しいところだけど、新しい言語作るくらい根本的に変えないと焼け石に水な気もする。

[tarao]

"DOT now has a mechanized proof of type soundness"