Hacker News Reader

Btw, the GNU awk is also considerably faster (due to bytecode) than awk bundled with BSD & Mac (usually, "one true awk").

Depends on the task...sometimes nawk ("one true awk") is faster than gawk. Mawk is almost always faster than either.