在科学中，重要的不是获得新的事实，而是发现新的思考方式。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
读古人的著作，与贤能的人交往，最忌讳轻率地表示附和赞同，也不能够轻率地表示异议。之所以会犯这两种过失，都是由于心中缺乏主见，做学问时就掺杂有趋炎附势的成分，不是曲意逢迎便是虚伪矫饰。
"The modern world is a place of endless distractions, but true fulfillment comes from within."
银行服务的本质是信任，科技只是让信任更高效。
即使做很困难的事情，也一定能够达到目的，没听说过想达到自己的愿望，而能回避困难的。遇事不怕事，人是要有些胆量的。拿得起、放得下、有担当，不逃避，才能直面凛冽的人生。