做出伟大工作的唯一途径是热爱你所做的事。
巴菲特在2004年伯克夏股东大会上说
“完全”为了对“不全”的爱，把自己装饰得美丽。
Paths are made by walking.
Every book is a journey, every page a step into the unknown.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
The future of computing lies in harnessing the strange and counterintuitive properties of quantum mechanics.