当心碌碌无为的生活。
Beware the barrenness of a busy life.
安全不仅仅是一项政策，它是必须融入我们每项操作的文化。
Blessed is he whose fame does not outshine his truth.
The real problem is not whether machines think but whether men do.
What you actually pay for something is at least twice the listed price because of the energy， time， money needed to set it up， learn， maintain， repair， and dispose of at the end. Not all prices appear on labels. Actual costs are 2x listed prices.
The development of formal systems has revolutionized our understanding of mathematics.
Responsible decommissioning is as important as responsible development.
Chaos is merely order waiting to be deciphered.
最好的传记是那些让读者感觉亲自遇见了传主的作品。