News for hackers. Stuff that matters.
Re:Why Don't People Use Formal Methods? by danpalmer on Tuesday January 22, 2019 @05:06AM (#18967247)
From what I've seen, most finance development seems to be "work hard not smart" – throw a lot of developers with a wide range of skill, poor development workflows, and QA at a problem, and then back them up with shifting the liability to someone else. This mostly works, it just costs a fortune and results in moving very slowly.

There are no comments on this comment yet.