Look Ma, No Database: Documents with Shared Lifecycle Stateecprotocol.io2 points·by lszu·قبل شهرين·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.