"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
"To understand madness, one must first speak its language."
今日最主要的势利,就是对职业的势利。你在派对中不用一分钟就能体会到,当你被问到这个21世纪初,最有代表性的问题:你是做什么的?你的答案将会决定对方接下来的反应,对方可能对你在场感到荣幸,或是开始看表,然后想个借口离开。
唱歌是我表达爱的方式。