建筑是一种思考方式,而不仅仅是一种职业。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The greatest gift you can give yourself is self-love.
实现目标后的结果,远没有实现目标过程中的成长重要。在你的葬礼上,人们不会去回忆你的功绩;他们只会记得你带给他们的感觉。