anson.ho comments on Grokking “Semi-informative priors over AI timelines”