A post jokes about going from language modeling to verifiable rewards · Digg