If something fails where you thought it would fail, that is not a failure.
计算的目的是模仿我们的综合能力,而不是理解我们的分析能力。
The more honest you are, the more open, the less fear you will have.
The piano is my safe place—it’s where I can be completely myself.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."