The $440M software error at Knight Capital (2019)

Re:The $440M software error at Knight Capital (2019) by ChrisClark on Monday May 02, 2022 @04:19PM (#31240351)

That truly is scary to me. I can easily* write advanced Solidity and could try to make something big. But I won't, because I know I would not be able to handle the stress and responsibility. One tiny logic error and millions lost. Thanks but no thanks.

*The fact I believe I could easily do it is probably exactly why I'd end up making some huge mistake. ;)

[ Parent | on HN ]

Re:The $440M software error at Knight Capital (2019) by wombatpm on Tuesday May 03, 2022 @01:17AM (#31244921)

I’m sure that any big contracts are written only by CMM Level 5 organizations using formal methods and provably correct with certification that less than 1 line in a million contains an error. It’s all spelled out in the SOW attached to the RFP.

[ Parent | on HN ]

Re:The $440M software error at Knight Capital (2019) by astrange on Tuesday May 03, 2022 @03:52AM (#31245799)

I don't think I could, since the language was designed by amateurs after no research into safe programming, and is only being improved one gigantic loss at a time.

Maybe if you could translate from Coq.

[ Parent | on HN ]