有志之士珍惜每一年的光阴;贤德之人,珍惜每一天的光阴;而圣人则会珍惜每一寸的光阴。
我不想完美,我只想真实。
人们只看到自己想看的东西。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
试图写爱就是面对语言的泥潭:那个语言既太多又太少,过度又贫瘠的歇斯底里区域。
The metropolis has always been the seat of the money economy.
Time erodes all such beauty, but what it cannot diminish… is the wonderful workings of your mind. Your humor, your kindness… and your moral courage.