永远不要让任何人掩盖你的光芒。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
最好的领导方式是真实。
To be a writer is to be a thief of other people's lives.
Every painting is a self-portrait, even when it's not.
The key to innovation is fostering a culture of continuous improvement.