Sustainability is not an option, it's the only way forward for responsible businesses.

程序员最重要的技能是清晰和逻辑地思考的能力。

淌自己的汗，吃自己的饭，自己的事情自己干；靠天、靠地、靠父母，不算是好汉。人只有靠自己的力量，才能得以生存，不依靠自己，就将无法生存。

翻译：鼓励人们坚持不懈地努力，最终会取得成功。

我愿意用我所有的科技去换取和苏格拉底相处的一个下午。

改变始于承认过去，但着眼于未来。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

解决问题的最简单方法是否认它的存在。