对别人有利的事就去做,对别人不利的事就停止。
海洋不会回报那些过于焦虑、贪婪或急躁的人。一个人应该像海滩一样空虚、开放、无选择——等待海洋的馈赠。
The scientific community must work together to address global challenges.
The interplay between theory and practice in computer science is what drives innovation and progress.
在冬天的深处,我发现我内心有一个不可战胜的夏天。
The challenge in model checking is not just to find errors, but to understand why they occur.