动作
2021-8-9 5:2
下载 PDF 摘要：与井字棋或跳棋不同，最佳玩法会导致平局，目前尚不清楚国际象棋中的最佳玩法是以白方获胜、黑方获胜还是平局告终。但是在国际象棋中，在白方先走之后，如果黑方先双步，然后白方双步，然后交替下棋，则下棋会更加平衡，因为白方并不总是走平或领先。象征性地，平衡交替给出以下移动顺序：在白（W）的初始移动之后，首先......
2021-4-1 19:50
TLA +技术在那里没有全部很多：所有资源都是介绍或案例研究。对人们开始的好处，对过去的人不好。我认为我们需要编写更多的中级东西，本·库恩呼叫Blub研究。这是一个尝试。
大多数TLA +属性都是不变的，必须为行为中的每个状态都是如此的属性。如果我们有一个简单的柜台：
扩展整数变量x init == x = 1 ......
2021-3-26 20:20
在Web UI中渲染日志似乎很简单：它们只是纯文本的线条。但是，有很多额外的功能使它们对我们的用户更有用：着色，分组，搜索，永久链接等。但最重要的是，界面应该无论日志都有10个或成千上万的线路，都应该工作。这是我们在2019年制作GitHub行动的时候从一开始就优先考虑。我们当时没有使用量度指标，但很明显，我们不得不......
