UK court clears post office staff convicted due to ‘corrupt data’

Re:UK court clears post office staff convicted due to ‘corru... by davidhyde on Friday April 23, 2021 @12:06PM (#26916176)

Agreed that you cannot expect the Post Office to prove a negative but, if they cannot prove a negative, they should not be able to use their computer system as evidence of theft and fraud. Especially if this is the only evidence they have.

[ Parent | on HN ]

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 ]