Mitchell_Porter comments on Vernor Vinge, who coined the term “Technological Singularity”, dies at 79