The only way to do great work is to love what you do.
做出伟大工作的唯一方法就是热爱你所做的事情。
强调用户至上的经营理念。
我们的工作是揭示潜力,而不是强加解决方案
The past is a shadow that follows us, always present, always influencing our steps.
相信生命值得活下去,你的信念会帮助创造这个事实。
The act of writing is an act of resistance.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
I’m stronger than I thought I was.