Ignorance is easier to get than knowledge.
无知比知识更容易出现。
正义意味着关心自己的事情，而不是干预别人的事务。
"Every book is a journey, and every journey changes you."
我不害怕死亡，我害怕不去尝试。
未来属于那些能够适应变化同时忠于核心价值观的人。
To be a philosopher is not merely to have subtle thoughts, nor even to found a school, but so to love wisdom as to live according to its dictates.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
La literatura es el espejo en el que nos miramos para entender quiénes somos.