In case you missed this this in the hubbub of other news: |> Marvin Minsky, Pioneer in Artificial Intelligence, Dies at 88 <http://www.nytimes.com/2016/01/26/business/marvin-minsky-pioneer-in-artificial-intelligence-dies-at-88.html> --Neil Ormos