I just made a new account on sprk.so, logged into Bluesky with my new account, and made a Bluesky post that's now hosted on pds.sprk.so instead of an official Bluesky PDS (such as morel.us-east.host.bsky.network for example).
I think we're now at the point where we can call Bluesky federated. This is the ATProto equivalent of replying to a Lemmy thread from Mastodon.
I really hope to be able to move my account to a PDS run by Flushes if only so I can get an elusive
.flushing.im
handle.