"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

Business should be fun. If it's not fun, you're doing something wrong.

偏见是愚人用来代替理智的东西。

我不是来平庸的。

我们讲述的故事塑造了我们生活的世界。