The only way to learn a new programming language is by writing programs in it.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

痛苦的秘诀在于有空闲去烦恼自己是否幸福。

颜渊问仁。孔子说：“用坚强的意志、顽强的拼搏精神，主持正义、捍卫道德、维护和平，这就是仁。一旦做到了这一点，普天下的人都会崇敬你、追随你、向你学习。为崇高理想而奋斗要靠的是自己，难道还能靠别人吗？”颜渊说：“请问其详？”孔子说：“违反礼法的事不要看、不要听、不要说、不要做。”颜渊说：“我虽不才，愿照此办理。”