分类： 工场故事
-
智能合约的形式化验证是在每个计算机上执行的，如果某人已经对合约进行形式化验证，那么当前用户是无法在不执行形式化…
·
-
2019 年 7 月 18 日上午 10 点 35 分，日本京都府京都市伏见区桃山町京都动画第一工作室发生纵火…
·
-
由 FOSS Asia 主办的 Open Tech Summit Singapore 是亚洲最大的开源技术会议…
·
-
从我们3月9日，日报正式起步以来，已经过了150天。我们在不断的改善，不断的提高，从在我们的工场里，到脸书，推…
·