最好的公司是由能够互补彼此优缺点的团队建立的。
The task of art is to make the world more human.
广东话谚语
The challenge in model checking is not just to find errors, but to understand why they occur.
自然系统的当前状态显然是前一时刻的结果,如果我们设想一个在给定瞬间理解这个宇宙所有实体关系的智慧,它就能陈述所有这些实体在过去或未来的任何时间的各自位置、运动和一般效应。
Positivity transforms us for the better. By opening our hearts and minds, positive emotions allow us to discover and build new skills, new ties, new knowledge, and new ways of being.