人类对变化过敏。他们喜欢说,“我们一直都是这样做的。”我试图与之抗争。这就是为什么我的墙上有一个逆时针运行的时钟。
"Hard work beats talent when talent doesn't work hard."
"Destroying things is much easier than making them."
The best films are those that are not afraid to be ambiguous.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."