可持续性不是一种选择，而是一种必需。
I'm the reason your earth won't turn.
The world is full of people who have never, since childhood, met an open doorway with an open heart.
世界上充满了自童年以来从未以开放的心态迎接开放门道的人。
模型检查是验证硬件和软件系统正确性的强大工具。
Memory is a way of meeting.
人类心智是一套信息处理机器，由自然选择设计来解决我们狩猎采集祖先面临的适应性问题。
每一次挫折都是为了更好的回归做准备。
当好奇心遇上严谨的方法论，科学就会蓬勃发展。