The blog that used to be here is now at http://www.lvalue.ml/2017/05/.
Do you wish to be redirected?