The blog that used to be here is now at https://www.designverification.blog/.
Do you wish to be redirected?