Re:ZZ is a modern formally provable dialect of C
by pjmlp on Wednesday February 05, 2020 @09:18AM
(#22246829)
We need regulation to make companies liable for CVEs, then this will stop being FUD, easy.
[ Parent
| on HN ]
Re:ZZ is a modern formally provable dialect of C
by jcranmer on Wednesday February 05, 2020 @10:51AM
(#22247829)
It says something of our profession that we have all of our products come with a legal document that effectively says it's not our fault if the product doesn't do what it's supposed to do.
Re:ZZ is a modern formally provable dialect of C
by perl4ever on Wednesday February 05, 2020 @11:14PM
(#22253377)
We should just outlaw those damn statements (and binding arbitration for consumers) and see how the market naturally evolves. Don't force standards on programmers, don't regulate in some novel way, just get rid of the stupid disclaimers and let the old-fashioned legal framework return to primacy.