诗人是一个总是说真话的骗子。
Every song has a story, and it’s my job to bring that story to life.
The best architecture is the one that doesn’t need explanation.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。