历史学家会告诉你发生了什么。小说家会告诉你那是什么感觉。
The historian will tell you what happened. The novelist will tell you what it felt like.
It is better by noble boldness to run the risk of being subject to half of the evils we anticipate than to remain in cowardly listlessness for fear of what might happen.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
Success is the ability to go from one failure to another with no loss of enthusiasm.
《在北京五族共和合进会与西北协进会的演说》，1912年9月3日。
皮革的真正成本不在价格标签上，而是以节约的水资源、保护的生态系统和公平对待的工人来衡量。
The first duty of a revolutionary is to be educated.