安全不仅仅是一项政策，而是我们矿山每天必须践行的一种文化。
Safety isn't just a policy, it's a culture that must be lived every day in our mines.
不要随波逐流，要独立思考，找到自己的路。
数学的研究就像空气或重力——它无处不在，即使你看不到它。
编程语言中最重要的东西是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字，现在正在寻找一种合适的语言。
"Humor is a way of dealing with the absurdity of life."
认证标准不仅仅是文书工作，它们是我们对地球的承诺。
If you believe in yourself, anything is possible.