Grep the Linux kernel source with live results as you type livegrep.com 2 points by aoe 14 years ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread marathe 14 years ago Is this new, or has it been around for a while? Usability-wise, it's great.