译文:自由自在行走时,感受不到时光流逝,所到之处,都有蓑衣相伴,充满别样乐趣。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
不要在电子邮件中说任何你不愿意直接对某人说的关于某人的事情,因为最终他们会知道。
关系模型的力量在于其简单性以及以直接方式表示复杂关系的能力。
语言学习应该是一段快乐的旅程,而不是一项乏味的任务。
每一个失败的实验都会教会你一些宝贵的东西——不要害怕犯错。
I ask senior leaders to not do anything unless they're willing to do it for 10 years.