My main desktop is Mint - I feel like most of the random pieces of software I find myself wanting to run are built for Ubuntu or at the very least a lfh distro.
My server and random devices run NixOS, and I'm acrually considering combining all the config into a monorepo...
My Raspberry PI I think runs Raspbian though. I should see if I can nixify it.
I don't think those are sufficient. We could prove that a given binary can be produced from a given repo commit, but that doesn't actually ensure that the code itself is safe. Malicious code is malicious code even if it's reproducible.
Why would one use this rather than just using something like Matrix or self-hosted Stoat? I'm not sure what it being "Discord compatible" really gets this project. Bot compatibility is nice, but aren't most Discord bots closed source anyway?
Has Gitea even given any indication that they want to work on federation themselves?