David_Gerard comments on Suggest alternate names for the “Singularity Institute”