领导力就是让他人因为你的存在而变得更好，并确保这种影响在你离开后依然持续。

时间是一个小偷，偷走瞬间，只留下阴影。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

创新不是口号，而是每一天的实际行动。

The will of the people, moreover, practically means the will of the most numerous or the most active part of the people; the majority, or those who succeed in making themselves accepted as the majority; the people, consequently may desire to oppress a part of their number; and precautions are as much needed against this as against any other abuse of power. The limitation, therefore, of the power of government over individuals loses none of its importance when the holders of power are regularly accountable to the community, that is, to the strongest party therein