Yeah, it's dumb, and restaurants should just pay their servers better (even if they have to charge more), but until they do, I absolutely think people ought to tip - there is some flexibility on the amount based on service, but I'd say 20% is the norm and you're stingy and rude if you go below 15%.