Grep the Linux kernel source with live results as you type | Dark Hacker News