极客日报 #157
极客日报#157
本期收录 3 条社区推荐，涉及 推荐一本书 《计算进化史》、CKB 插件钱包Synapse上线测试网、在线做图的好工具。
2020年5月24日
本期推荐
推荐一本书 《计算进化史》
我们吃惊地发现，许多公理都可以用计算规则代替。这让我们隐约看到一种新研究计划的曙光：在谓词逻辑中，证明由公理和演绎规则构成；在演绎模中，证明则由公理、演绎规则和计算规则构成。为什么不能更进一步，去掉公理，仅仅用演绎规则和计算规则来构造证明呢？—— 引自第189页
CKB 插件钱包Synapse上线测试网
CKB 插件钱包Synapse上线测试网，目前发布了0.0.1版本，除了支持一些常用的功能，如助记词和私钥的生成和导出、发送交易等，还支持生成多个地址（每个地址对应一个lock script）。
在线做图的好工具
推荐一个在线做图的好工具，各种脑图，流程图，用例图，活动图等等等，都能用上。
Rebase 极客日报由社区志愿者共同维护，持续整理值得关注的技术内容与行业信号。