我不相信运气,我相信努力工作。
"Every word knows something of a vicious circle."
最伟大的旅程不是用里程衡量的,而是用理解衡量的。
我们不仅对我们所做的负责,也对我们没有做的负责。
"Digital transformation is not about technology, it's about people and culture."
神圣的观念在任何社会中都是最保守的观念之一,因为它试图将其他观念——不确定性、进步、变化——变成罪行。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."