比起知识本身，我对能用知识做什么更感兴趣。

选择那些傻瓜也能经营的企业——因为迟早会有傻瓜来经营它。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

——在上海中国国民党本部会议演说，1920年11月4日

科学的美在于它能不断给我们带来惊喜。