ryan_b comments on Honoring Petrov Day on LessWrong, in 2019