Patriotism is your conviction that this country is superior to all other countries because you were born in it.

You get what you give. What you put into things is what you get out of them.

人为某样东西实际支付的成本至少是标价的两倍，因为买来后设置、学习、维护、修理，以及最后处置，也需要耗费精力、时间和钱。不是所有的实际成本都在价签上。实际成本是标价的2倍。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

生活不完美，但它值得。