Look Ma, No Database: Documents with Shared Lifecycle Stateecprotocol.io2 points·by lszu·2 माह पहले·0 comments
lszu·8 वर्ष पहले·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.