I was wondering — has AntennaPod ever considered federating?
It feels like it could be a neat way to mix podcast listening with sharing and discovery in the wider Fediverse.
AntennaPod is already open and community-driven, so it seems like it could be a natural fit.