Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on QEMU Advent Calendar: A surprise disk image each day until Christmas. Parent comment
Given that bugs which have been found in it previously have been fixed, can we know from now on that it’s 100% safe?
As far as I know there does not exist a way of rigorously proving that.
fwiw my interest in theoretical computers and formal verification based on this fundamental aspect.
There are no comments on this comment yet.
Given that bugs which have been found in it previously have been fixed, can we know from now on that it’s 100% safe?
As far as I know there does not exist a way of rigorously proving that.
fwiw my interest in theoretical computers and formal verification based on this fundamental aspect.