Hacker News new | past | comments | ask | show | jobs | submit
The total time of their tasks or the micro-benchmark of ripgrep?