News for hackers. Stuff that matters.

A comment on UK court clears post office staff convicted due to ‘corrupt data’. Parent comment

Re:UK court clears post office staff convicted due to ‘corru... by ganzuul on Friday April 23, 2021 @12:23PM (#26916321)
So government software, technically cybernetic software, should be proven to be correct. Will automatic theorem proovers be able to accommodate this?
[ Parent | on HN ]
Re:UK court clears post office staff convicted due to ‘corru... by _vertigo on Friday April 23, 2021 @01:03PM (#26916777)
Not necessarily proven to be correct, proven to be correct _beyond a reasonable doubt_. That's the standard.
[ Parent | on HN ]