Programming the social computer