Michael is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
Can't tell if I'm getting better at formulating IRC questions, or if people on freenode#proglangdesign are just particularly courteous 😆
