Ditto & soapbox are ActivityPub servers. He funded that work via an OpenSats grant.