Remembering that I'll be dead soon is the most important tool I've ever encountered to help me make the big choices in life. Because almost everything - all external expectations, all pride, all fear of embarrassment or failure - these things just fall away in the face of death, leaving only what is truly important.

我们越擅长变得更好，我们就会变得越快更好。

Architecture should speak of its time and place, but yearn for timelessness.

I believe in the power of music to heal and to bring people together.

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