Don’t just dream big—act big.
Myth is a type of speech chosen by history: it cannot possibly evolve from the 'nature' of things.
I'm not here to fit in. I'm here to stand out.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
中国半导体产业要敢于挑战高端,不能只满足于低端制造。
理解计算的极限对于推进计算机科学领域至关重要。
Risk management is the eternal theme of banking, and there should be no slack at any time.