Years of love have been forgot, in the hatred of a minute.
几年的爱在一瞬间的恨中被忘却。
出自《抱朴子·外篇·广譬》。登山的时候,不因为山路艰险便停止,就一定能够到达山顶。积善也不会因为穷困而埋怨,便能够使自己获得长久的美名。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
可持续性不是潮流,而是我们行业生存的必需。