News for hackers. Stuff that matters.
Re:UK legal system assumes that computers don't have bugs by GrantZvolsky on Wednesday December 23, 2020 @07:16PM (#25523844)
> Presumably, they have the transaction data from the software, and the transaction data is saying he's lying.

No, the error seems to be just in the aggregates:

> We went through the system together, and found nothing. The other weird thing is that her stock unit basically almost never had that amount of cash in it - for it to be that short, there had to be a random high value transaction put through by mistake. We searched, and found nothing. - https://www.postofficetrial.com/2019/05/the-post-office-clai...

Re:UK legal system assumes that computers don't have bugs by curryst on Wednesday December 23, 2020 @08:16PM (#25524213)
Either this is a massive failure on the government's part, or something else is going on. I can't believe that the ledger doesn't match the balance, and that that still doesn't count as proof that there's a bug.
Re:UK legal system assumes that computers don't have bugs by ClumsyPilot on Wednesday December 23, 2020 @10:22PM (#25524779)
They had recorded transactions happening at times when the branch was closed and noone could possibly be at the terminal, yet the guy was still sent to prison

Folks from Fujitsu, creators of the system, claimed i court that the system was flawless, and, apparently, were taken at their word.