Look Ma, No Database: Documents with Shared Lifecycle Stateecprotocol.io2 points·by lszu·2 mesi fa·0 comments
lszu·8 anni fa·discussAgree. In many (most?) cases there is no formal, verifiable correctness proof. And then you are way better of with the simpler solution once feedback from the real world arrives.