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.