Contact GitHubTwitterMastodonEmailRSS You can follow me through various social media on the right. I use my mastodon account a lot (hosted at mathstodon.xyz) for microblogging.