我不是商人,我就是生意本身。
The most beautiful stories are those that remain untold.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
你在20多岁时做出的选择将塑造你未来几十年的生活。
I have always been driven to buck the system, to innovate, to take things beyond where they've been.
Writing is the only profession where no one considers you ridiculous if you earn no money.