你叫不醒一个装睡的人。

You can survive almost anything if you can just keep putting one foot in front of the other.

人工智能的未来不是替代人类，而是增强人类的能力。

互联网是我们社会的反映，它放大了好的一面，也放大了坏的一面。

人生而自由，却无处不在地受着枷锁。

It's not about being the first woman, it's about being a good mathematician.

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