#proving
Socure raises $100M at $1.3B valuation, proving identity verification is hotter than ever (techcrunch.com)
2021-3-17 2:59
鉴于一位世界认同，美国数字身份市场预计预计将增加到2023年，美国数字身份市场预计将增加到2023美元，从2019年的刚刚超过150亿美元，毫无疑问。这导致了对身份验证公司提供的服务的需求。
从历史上看，社会一直专注于金融服务业，但计划利用其新资本进一步扩展到包括在线游戏，医疗保健，电信，电子商务和按需服务的“每个......
Proving that 1 and 1 = 2 in Rust(gist.github.com)
2020-10-13 20:7
1+1等于2这一事实非常明显，可能很难解释为什么。幸运的是，数学家们已经设计出了一种将算术形式化并随后证明1+1=2的方法。自然数是基于皮亚诺公理的。它们是一组简单的规则，定义(与正式系统一起)什么是自然数。因此，为了证明Rust中的1+1=2，我们首先需要一个能够处理逻辑的形式系统。我们将使用的正式系统不是某个随机......