> And I think this answers the question of the OP Do you realize that the OP is ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		brazzy on Jan 22, 2019 \| parent \| context \| favorite \| on: Why Don't People Use Formal Methods? > And I think this answers the question of the OP Do you realize that the OP is actually linking to an article explaining this (and a bunch of other aspects) in great detail?

mpweiher on Jan 22, 2019 [–]

While it's a good article, I didn't see it covering this aspect, particularly (c).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact