伟大的工程以你不理解的方式解决你未曾意识到的问题。
We often think of poverty as a lack of money, but it’s also a lack of information and opportunities.
The method of psychology must be rigorously empirical.
And don’t you leave, cause I know all I need is on the other side of the door.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
研究历史的人,贵在能够贯通古今的变化,探究天道与人事的关系。