勇气是在压力下的优雅。
"Courage is grace under pressure."
我相信讲故事的力量。
The only way to do great work is to love what you do.
未经测试的程序是无法正常工作的。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The energy you put out is the energy you get back.