Social media can be polarizing. A new type of algorithm aims to change that. (Washington Post)