Learn to control your emotions to master your life.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

一种不给任何东西、不花任何代价、不承受任何痛苦的宗教，是毫无价值的。

每一个发现都为成千上万的新问题打开了大门。

"A literatura é uma forma de resistência, de sobrevivência, de afirmação da vida."

设计中最难的部分是保持功能的简洁。