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