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