想想在“算法”和“程序”之间寻求根本区别所花费的所有精神能量。

模型检查是验证硬件和软件系统正确性的强大工具。

永远不要低估一个积极进取的团队的力量。他们可以实现不可能的事情。

Writing is a way of being in the world, a way of understanding it and making it understandable to others.

I am a prisoner of my own mind, but art sets me free.

The most advanced technology is useless if farmers don't trust it.

我们不是短暂拥有灵魂的躯体。我们是短暂拥有躯体的灵魂。

The idea is not to have any 90-degree angles. In the beginning, there was the diagonal. The diagonal comes from the idea of the explosion which "re-forms" the space.

"The key to success is to focus on long-term value creation rather than short-term profits."