John McCarthy (nhà khoa học máy tính) in 2017 — year in review, news & activity