城市本身就是一个角色,有着自己的情绪和神秘。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The only thing that you can control is your effort and your attitude.
责任感就是对自己责任的热爱。
In the world of computation, complexity is not an enemy, but a challenge to be understood and mastered.