Before I came here I was confused about this subject. Having listened to your lecture I am still confused. But on a higher level.
在我来这里之前，我对这个主题感到困惑。听了你的讲座后，我仍然感到困惑。但是在一个更高的层次上。
Learn how to tie a bowline knot. Practice in the dark. With one hand. For the rest of your life you’ll use this knot more times than you would ever believe.
模型的唯一真正检验是其预测未来的能力，而未来总是不确定的。
The challenge in model checking is not just to find errors, but to understand why they occur.
"The beauty of science is that it allows us to understand the world in a way that is both profound and practical."
"Sometimes, the hardest thing and the right thing are the same."
我想知道，当亲吻不得不停止时，灵魂还剩下什么？
【释义】君子常思虑长远的大事，时时反躬自省，就没有眼前突来的祸患。
在这个快速变化的行业中，我们必须适应，否则就会被淘汰。