This is just a notice that this blog is moved to a new URL. Everything has been moved. I plan to keep the previous domain forever so there won’t be any broken links. If you’ve linked to this blog, please update it.