Or similarly, mute them at intervals. Every second, third, fifth post to cut down on some of the volume from prolific posters.
Discussion
This though, mute based on a set amount of posts within a set amount of time, would auto clean the feed of over-posters