语言是存在之家。
当你用当地材料建造时,你就是在用当地知识建造。这就是建筑真正变得可持续的方式。
The greatest satisfaction is knowing you gave your all.
The more you know, the more you grow.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。