Just wanted to say it is nice to see MIRI has a github presence - https://github.com/machine-intelligence
Looking forward to seeing more.
You know the drill - If it's worth saying, but not worth its own post (even in Discussion), then it goes here.