我们必须接受有限的失望,但永远不要失去无限的希望。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
写过去是理解现在和想象不同未来的一种方式。
"To travel is to discover that everyone is wrong about other countries."
To make a film is to try to communicate with the world, to share a vision, a dream, a nightmare.