"Failure is a part of the scientific process, and it's important to learn from it and move forward."

——1981

The energy transition is not just about replacing one energy source with another; it's about transforming the entire energy system.

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。