John McCarthy (computer scientist) — Remembered