过去是远处的一支蜡烛：近得让你无法放弃，远得无法给你安慰。

"You never know how strong you are until being strong is the only choice you have."

在我们这个令人深思的时代，最令人深思的事情是我们仍然没有思考。

Time is an illusion. Lunchtime doubly so.

节制欲念，修养身心，安贫乐道，摒除机巧，都是驱逐病魔的良方。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

存在即被感知。