The night is a great forest, but the stars are its trees.
没有所谓的幸福结局,只是有合适的地方停下来。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
Your value doesn't decrease based on someone's inability to see your worth.
Innovation is not just about creating something new, but about making what exists better.
The truth is a beautiful and terrible thing, and should therefore be treated with great caution.