Mastodon server used by HN users?

Twitter drama is through the roof. Although I'm confident the social media giant is not going anywhere anytime soon. I want to inquire if HN users have started migrating to Mastodon, and which servers they're using to do so.