Singularity Institute is now Machine Intelligence Research Institute — LessWrong