良心是上帝在人间的存在。

创新不仅仅是创造新产品，更是重新思考整个流程，以别人未曾想象的方式提供价值。

Happiness is sharing my music with the world.

Do not fear to be eccentric in opinion, for every opinion now accepted was once eccentric.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

"The past is always present, shaping who we are in ways we don’t always understand."

信仰 + 怀疑 = 理智。