Singularity the hard way — LessWrong