正念帮助我们摆脱常常导致不快乐的自动模式。
眼界要开阔，就要游鉴名山大川；度量应宏大，须得熟读经史典籍。
A distributed system is one in which I can’t get any work done because some machine I’ve never heard of has crashed.
The greatest killer of happiness is comparison. If you must compare， compare yourself to you yesterday
The boundaries which divide Life from Death are at best shadowy and vague. Who shall say where the one ends, and where the other begins?
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
The great question which, in all ages, has disturbed mankind, and brought on them the greatest part of their mischiefs, has been, not whether there be power in the world, nor whence it came, but who should have it.
使劲活下去，或使劲找死。
The artist must be a shadow of the absolute.