With an account on types.pl you'll be able to follow people on any Mastodon server and beyond.
Trouble logging in?
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics. Learn more