我们必须拥抱变化,挑战自己以不同的方式思考。
It is the greatest good to the greatest number of people which is the measure of right and wrong.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
当我们编写可以“学习”的程序时,事实证明我们是这样做的,而他们不是。
看似痛苦的试炼的往往是伪装的祝福。