gwern comments on AI #71: Farewell to Chevron