Look Ma, No Database: Documents with Shared Lifecycle Stateecprotocol.io2 points·by lszu·2 months ago·0 comments
lszu·8 years ago·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.