模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
我不是为排行榜做音乐。我是为人们做音乐。
写文章的方法,最重要的是要有自己的心得体会。
真正的快乐来自于做自己喜欢的事。
要想得到你想要的东西,你必须配得上你想要的东西。这个世界还没有疯狂到可以奖励一大堆人的地步。
The only real prison is the one you build for yourself.