If you're going to innovate, you have to be willing to fail. If you're going to try new things, then you have to be willing to accept that you might fail.

The most important single aspect of software development is to be clear about what you are trying to build.

基础设施的未来在于可持续性和智能技术。

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

The self is not a solid thing but a collection of echoes.

伤口是光进入你内心的地方。

A year spent in artificial intelligence is enough to make one believe in God.

我不害怕脆弱。