Silence is the most powerful response.
阅读是一个孩子可以学到的最重要的技能。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
我不会把所有事情都发出来，但我发的每一条都是我心的一部分。
Internationalization is the only way for enterprises to grow bigger and stronger. We must embrace the world with a more open attitude.
实验室是我的游乐场，分子是我的玩具。
A first sign of the beginning of understanding is the wish to die.