Blog domain migrated

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!

Last updated on Aug 06, 2025 23:13 -0400