建筑的创新来自于对显而易见的事物的质疑。
"The writer's duty is to tell the truth, even when it is uncomfortable."
The best way to predict the future is to create it.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
也许我们曾经乘不同的船来到这里,但现在我们都在同一艘船上”
The past is a ghost, haunting the present.