ジャーゴンファイル
The Jargon File, which describes itself as a "Hacker's Dictionary" and has been published under that name three times, puts "grok" in a programming context: