Hacker News new | ask | show | jobs
by mkleczek 1487 days ago
> 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.
1 comments
ncmncm 1487 days ago
The work is the paper you cited.

People create wholly deterministic state machines all the damn time.

link
mkleczek 1487 days ago
> People create wholly deterministic state machines all the damn time.

What do you mean by "wholly deterministic"?

link
ncmncm 1486 days ago
All possible states are well-understood, all possible paths through states are mapped.

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

link