News for hackers. Stuff that matters.

A comment on On rebooting: the unreasonable effectiveness of turning computers off and on. Parent comment

Re:On rebooting: the unreasonable effectiveness of turning c... by ncmncm on Wednesday May 25, 2022 @05:07AM (#31502097)
It is not necessary to verify that random presented machines have some property. It suffices that we can reliably construct machines that perform a desired function and have the desired property.
[ Parent | on HN ]
Re:On rebooting: the unreasonable effectiveness of turning c... by mkleczek on Wednesday May 25, 2022 @05:32AM (#31502247)
> It suffices that we can reliably construct machines that perform a desired function and have the desired property.

See above - there is no reliable procedure (algorithm) that would allow you to do that.

[ Parent | on HN ]