言语是智者的筹码，他们只是用它们来算计；但它们是愚人的金钱。
Words are wise men's counters, they do but reckon by them; but they are the money of fools.
The future of computing lies in the development of systems that can verify their own correctness.
逻辑是所有数学推理的基础。
创新不仅仅是创造新产品；而是重新思考我们如何做每件事。
I’m a Southern girl. I love being from the South.
沉默可以像语言一样有力，只要你知道如何去倾听。