HalFinney comments on Optimization and the Singularity