Always cut away from yourself.
Escribo para vivir las vidas que no viví.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
Never be the brightest person in the room; if you are, you're in the wrong room.
对你的决定保持承诺，但在你的方法上保持灵活。
Computers don't introduce order anywhere as much as they expose opportunities.
A purpose of human life, no matter who is controlling it, is to love whoever is around to be loved.