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