在商业中,如果你不前进,你就在落后。
你能做的最好的投资就是投资自己。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
A LISP programmer knows the value of everything, but the cost of nothing.
革命的道路不是铺满玫瑰的道路。
True power lies in controlling oneself, not others.