weilawei on Nostr: The thing is, you don't get to let the system into an inconsistent state and then fix ...

The thing is, you don't get to let the system into an inconsistent state and then fix it up. Any state it -can- get into has to be well-defined.

My model of programming is not, "this is what I expect the user to do," it's, "this is the entire possible space of things that can physically occur, even if that would be a bad idea."