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