3 ms·

Yet, it is done, thousands of times every day, all over the world. You must be misunderstanding the work if you believe that what is being done routinely is im

by ncmncm 4y ago

Yet, it is done, thousands of times every day, all over the world. You must be misunderstanding the work if you believe that what is being done routinely is impossible.

mkleczek 4y 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.
- ncmncm 4y ago
  The work is the paper you cited. People create wholly deterministic state machines all the damn time.
  - mkleczek 4y ago
    > People create wholly deterministic state machines all the damn time. What do you mean by "wholly deterministic"?
    - ncmncm 4y 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.