Definition of “to grok” | Hacker News Reader