This would push users toward local posts (especially on smaller instances) while still supporting a better distribution of user engagement over the threadiverse. And if you don’t trust that it was implemented correctly – you can simply check it by counting the amounts of posts against your chosen probabilities.
Edit: changed feed name to mixed-feed
I think that Explore is very confusing name for feed type. IMO there are 2 better ways to do this:
All (20%) ==( )======== Subscribed (80%)
The slider is a really cool idea, is that something they could actually build?
I can’t find a reason why it would be not possible
I just called it Explore because its called that in Mastodon. Mixed is also fine.
To include Local, you could also make a slider with two slide-poitns:
Local All Subscribed
==()===========()==