Interactive grep (for streaming)
