From a practical sense, ActivityPub may be the obvious choice as it gives easier interop with the largest federated platforms.
But what else? There are existing platforms built on these protocols, such as movim for xmpp, and another for matrix I forget.
From a technical standpoint, are there any major pros and cons?
XMPP via its pubsub implementation could function similar to ActivityPub, but that part of XMPP is a bit neglected as few apps use it for anything more complex. XMPP’s real strength is in real-time communication and I think it’s good to stick with that.