Who discovered grokking and why is the name hard to find? | Dark Hacker News