计策弃不收，块若枯池鱼。
译文：计策被抛弃不被采纳，像干涸池塘中的鱼一样无助。
真正的艺术家总是在寻找生命的意义。
If you’re not failing occasionally, you’re not pushing hard enough.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
【释义】：和品德好的人相处，就像进入放满香草的屋子，久了也会染上香气；与恶人交往，如同走进卖臭鱼的店铺，久了也会变臭。
我把每一分都当作赛点来打。