The most important property of a program is whether it accomplishes the intention of its user.
We are all trapped by our own narratives.
逻辑学研究不仅仅是关于推理规则,而是关于理性思维的结构。
我希望我的音乐能陪伴大家走过人生的每一个阶段。