The blog that used to be here is now at https://www.gsno.cc/2018/09/682.html.
Do you wish to be redirected?