So it is finally here, after a server crash this summer I am resurrecting my website. As I have always been too lazy to make backups, most of prior content is lost, but this is not a big deal as some stuff was out of date. From then on this…
Continue reading