John McCarthy (computer scientist) em 2013 — retrospectiva anual, notícias e atividade