16 May 2024 - bugs everywhere

As a rule of thumb, all software has bugs. A simple program that prints "Hello, world!" may be OK in itself, but it depends on a complicated programming language and operating system that have bugs. More, all hardware has bugs. You might be able to prove that the design meets its specifications; it's hard but has been done a few times. You can't prove that your copy of the hardware has no defects, and you can't prove even in principle that the accepted laws of physics hold. So what about you? You don't even have specifications. I question whether you are alive.