To one who has faith, no explanation is necessary. To one without faith, no explanation is possible.
世界充满了魔法,你只需要相信它。
阅读,阅读,再阅读。什么都要读。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
Architecture should be a collective act, a dialogue between the architect and society.
The Internet is a reflection of our society and that mirror is going to be reflecting what we see. If we do not like what we see in that mirror the problem is not to fix the mirror, we have to fix society.