Web3极客日报 · 2020-05-24 0

Web3极客日报 #157

1. 在线做图的好工具
https://www.processon.com

@Dream:推荐一个在线做图的好工具,各种脑图,流程图,用例图,活动图等等等,都能用上。
 

2. CKB 插件钱包Synapse上线测试网
https://github.com/rebase-network/synapse-extension

@Harry:CKB 插件钱包Synapse上线测试网,目前发布了0.0.1版本,除了支持一些常用的功能,如助记词和私钥的生成和导出、发送交易等,还支持生成多个地址(每个地址对应一个lock script)。
 

3. 推荐一本书 《计算进化史》
https://book.douban.com/subject/26975991/

@周洋:我们吃惊地发现,许多公理都可以用计算规则代替。这让我们隐约看到一种新研究计划的曙光:在谓词逻辑中,证明由公理和演绎规则构成;在演绎模中,证明则由公理、演绎规则和计算规则构成。为什么不能更进一步,去掉公理,仅仅用演绎规则和计算规则来构造证明呢?—— 引自第189页
 

Web3Web3Rebase

Web3

网站:http://ec2-13-231-107-232.ap-northeast-1.compute.amazonaws.com
公众号:rebase_network