As of today, this blog has now moved to a shorter domain name: https://mike42.me.
Hopefully, none of the content got lost in the move!
As of today, this blog has now moved to a shorter domain name: https://mike42.me.
Hopefully, none of the content got lost in the move!