I'm not a businessman, I'm a business, man.
When you tear out a man's tongue, you are not proving him a liar. You're only telling the world that you fear what he might say.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
追随我的好奇与直觉，大部分我所投入过的事务，后来看来都成了无比珍贵的经历。
The key to success is to keep going even when things seem impossible.