Who discovered grokking and why is the name hard to find? · HackerTrans