UK legal system assumes that computers don't have bugs

Re:UK legal system assumes that computers don't have bugs by gjvnq on Wednesday December 23, 2020 @03:31PM (#25521839)

Why not make a compromise?

Assume that software has no bugs if there is a publically available machine-checkable proof of the program correctness.

[ Parent | on HN ]

Re:UK legal system assumes that computers don't have bugs by Meph504 on Wednesday December 23, 2020 @04:41PM (#25522545)

Because they would put an insane unreasonable burden on everyone who has a computer. and basically make everyone but multi-billion companies have to assume their systems are at fault.

[ Parent | on HN ]

Re:UK legal system assumes that computers don't have bugs by pacamara619 on Wednesday December 23, 2020 @08:03PM (#25524130)

Do you see the irony in your reply or would you like me to explain it?

[ Parent | on HN ]