This certainly helps, but I think is not enough. If I go to the "All" feed, I get everything indiscriminately. I wish there was some in between mechanism. I don't claim to have the answer.
By free software you mean the FSF or OSI definition. Many people won't care, and some of us actively are against corporate leech on free software, which this license helps with.
Does the fediverse need to maintain its "soul"? As long as it preserves user choice and corporate resistance, the rest isn't required and can be maintained in those specific instances.
Thanks for the link. But is this really unseen in FOSS? My understanding is some FOSS projects do this so that it is easy to make major decisions without having to bring every person that has ever contributed to the project, kinda like how ZFS is stuck with license issues because they can't bring all contributors together to approve a license change.
I suppose you're right. But I thought the reason we are using conceptual models of computation is to not concern ourselves with the implementation details of the physical world and real computers. It's why we have an infinite tape, for example.
Representing a "sum a list of numbers" problem in terms of binary logic gates would be the opposite of that. We're complicating the problem. Turing machines as I've seen them are not that low level. Would binary addition be the sensible way to sum a list of numbers in a turing machine?
Your answer is still convincing though... I suppose we can represent functions as series of verifiers. But my only remaining point of confusion is... Is that really the better way?
Feed Algorithms aren't inherently wrong imo. The problem with typical feed algorithms is two things: