It's not supposed to be easy. Anyone who finds it easy is stupid.
投资不应该是容易的。如果有人觉得它很容易,那么这个人一定很愚蠢。
世界充满了故事,但这些故事其实是一个。
A building should touch the earth lightly.
无知,是一切罪恶的根源。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
国家本质上是具有侵略性和扩张性的。