I also want to learn how does federation work if e.g. lemmy.world is federated with some instance but programming.dev is not explicitly federated, nor defederated with that instance. Will I see posts from that instance? Is there an (automatic?) list of all the instances in federation?

Maybe I should create another post on meta, or is it answered already somewhere in the posts/doc/faq?