To write is to fight against silence and forgetting.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
当你汇集不同的观点并挑战彼此的想法时,才能做出最好的决定。
逆流而上。走另一条路。忽略传统智慧。
The most important thing is to disturb the comfortable and comfort the disturbed.