mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

311K
active users

OH: "it was a nice goto, into the middle of a doubly-nested loop, with a non-ASCII label"

update: "good news, the goto might not be going away after all :-)"