I write to explore the boundaries of language and experience.
True progress is measured not just in yields, but in the positive impact we create.
λ演算是一种表示函数及其应用的形式体系。
质量不是偶然;它是一种决定。
世界上没有绝对的对与错,只有适合不适合。
“原则”是“偏见”的另一个名称。