我们不必为了可持续性而牺牲口味，我们可以两者兼得。
We don't have to sacrifice taste for sustainability—we can have both.
你花所有时间试图找回被夺走的东西时，更多的东西正从门口溜走。
我不去想过去。唯一重要的是永恒的现在。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
每个人都是自己命运的建筑师。
技术的本质绝不是任何技术性的东西。