[Haskell-cafe] Knight Capital debacle and software correctness