On rebooting: the unreasonable effectiveness of turning computers off and on

Re:On rebooting: the unreasonable effectiveness of turning c... by mkleczek on Wednesday May 25, 2022 @07:03AM (#31502777)

> You must be misunderstanding the work if you believe that what is being done routinely is impossible.

Quite possibly I don't understand what you mean by "work". If by "work" you mean creating provably correct software then no, it is not done routinely.

[ Parent | on HN ]

Re:On rebooting: the unreasonable effectiveness of turning c... by ncmncm on Wednesday May 25, 2022 @07:27AM (#31502988)

The work is the paper you cited.

People create wholly deterministic state machines all the damn time.

[ Parent | on HN ]

Re:On rebooting: the unreasonable effectiveness of turning c... by mkleczek on Wednesday May 25, 2022 @07:50AM (#31503198)

> People create wholly deterministic state machines all the damn time.

What do you mean by "wholly deterministic"?

[ Parent | on HN ]

Re:On rebooting: the unreasonable effectiveness of turning c... by ncmncm on Wednesday May 25, 2022 @01:44PM (#31507918)

All possible states are well-understood, all possible paths through states are mapped.

You can buy an 8-bit adder/accumulator from a catalog.

[ Parent | on HN ]