Are lemmy.world and mlmym.org federated?

Perhaps this is a dumb question, if so sorry! I don't want to move from here, but I do like the old-school layout over at mlmym.org