What are the best ways to use gamification to drive engagement in a community?

Points system, badges, leaderboard, recognition. Big fan of how Stackoverflow implemented it without diluting the experience/quality. Any other ideas/examples?