儒家所谓，“纵心所欲不逾矩”，道家所谓，“无为”，佛家所谓，“清净虚空”，其实说的都是一个道理，就是精神上的自由自在的状态。达到这种境界，就消解了得与失、荣与辱的界限，一切的一切就如同“庭前花开花落”、“天上云卷云舒”一般自然而然，荣辱不惊，无忧无惧。
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
Leadership is not about being in charge but about taking care of those in your charge.
人类心智能够理解宇宙，因为宇宙已经产生了能够理解它的心智。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The stars are not just points of light in the sky; they are the dreams of those who dared to look up.