You didn't used to get notifications when someone you'd muted responded to you. I don't. I like it that way.

And forgive me while I speak out of turn, because mk can actually answer this, but I think the discussion should be brought up:

The Achilles Heel of Reddit is the fact that in order to give you your page, with your friends, with your upvotes, with your downvotes, Reddit has to generate that page just for you. If you've got tags and shit that you've implemented through RES, that's client-side; it lives on your computer. The reason it doesn't live on Reddit is the site would crash and burn. It used to a lot. Reddit has long-since outgrown its code; we used to have more searching/sorting features but the use of them grenaded the site back in 2008.

So apply that to Hubski. We're both hanging out here in mk's post. You've got me ignored, but mk doesn't. So now Hubski has to completely regenerate the page just for you, and for you alone... and we're back in the land of unscalability.

"Never see them again" is unrealistic, in my opinion. "Never have to deal with them" seems better. Yeah, they can reply to you - but if you've got them ignored, you won't know unless you hang out in the thread (I've got a few ignored people who reply to me sometimes; I'll see it a week later through global).