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:

380K
active users

Alfred M. Szmidt

@shapr those are at least the ones descendant if MIT LispM. Then you had others too…. If you know the name of the individual and can DM it I can prolly “pull the file”.