Economic activity of this kind is of doubtful social value, yet it eats up real resources in terms of human talent, computing power, and debt. So we should not mourn the demise of such trading practices.