Success is not about the destination, but the journey of learning and growing every day.
编程语言中最重要的东西是名字。没有好名字的语言不会成功。我总是对我选择的名字非常小心。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The best traders are those who can stay focused on their goals.
统治的艺术就是组织偶像崇拜。
If you're going to bake, do it properly. Don't cut corners.