A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
types.pl Mastodon server has 591 users that have posted 106,009 times
To join types.pl on Mastodon, click the "join this server" button on this page. You will then be redirected to join the Mastodon Instance.