Mitchell_Porter comments on Singularity Institute is now Machine Intelligence Research Institute