Closed github-actions[bot] closed 2 years ago
https://www.inkandswitch.com/backchannel/ A relationship-based digital identity system
mark 没读 .... from DDIA author, I assume it's about the decentralized offline first systems
TIL: https://github.com/GaloisInc/saw-script for formal verification from https://github.com/awslabs/aws-lc-verification/blob/master/SAW/README.md it is using z3 as solver
联合周报第 231 期开始投稿 :tada: