Dave on Nostr: What is a federated operating system? What apps does it run?What is a federated operating system? What apps does it run?