君子之学，唯求其是而已。
君子学习的目的，只是为了追求真理。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
编程界最重要的事情是不断学习并适应新技术。
"Innovation is not about one big idea; it's about thousands of little ideas."
只要人类继续无情地摧毁较低级的生命，他们永远不会知道健康和和平。因为只要人类屠杀动物，他们也会相互杀戮。
Life is too short to be anything but happy.
The thing you’re most afraid to write, that’s what you should write.