I'd recommend against ignoring other users, though. If they're genuinely disruptive, they'll be moderated sooner or later. Otherwise, ignoring them just keeps you out of the loop when they do make posts worth posting. I've seen people make quite the fools of themselves by ignoring other users, and they generally come across as angrily jumping to conclusions.