Is it a good idea to diversified into the mining sector?

I'm currently heavily invested in the technology market and i have diversified a little into the oil market which worked fairly well, and, now i'm think on investing on the mining industry.

These are my personal picks, do you have any recommendations?

RIO, VALE, FCX or NEM.

Or should i stick with dca on the stocks i'm still holding?