Because of the way activity pub works, the only reason that exploding heads would show up in the programming.dev feed would be if someone over there subscribe to the communities here.

So in that way, defederation isn’t really about this site, it’s about punishing the users on that site for having the audacity of subscribing to a community someone doesn’t like.