Timothy Snyder laments how the assault of algorithms has weakened many basic cultural forms, not least holiday songs.