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:

348K
active users

daniel:// stenberg://

@d2718 @tek_dmn @asier happy eyeballs is trying to setup multiple connections in parallel and going with the one that succeeds first. Typically a way to pick IPv4 vs IPv6.