I neither affirm nor deny， but I suspend my judgment.

我对各种图片都感兴趣，不管它们是怎么做出来的。

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

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

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

世界是一场伟大的戏剧，我们是其中的演员。

"Some infinities are bigger than other infinities."

理论物理学不仅仅是解决问题，更是要找到正确的问题去解决。

我不想让别人决定我是谁。我想自己决定。