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.
[ Parent
| on HN ]
There are no comments on this comment yet.