Finite games are played to win or lose. Infinite games are played to keep the game going. Seek out infinite games because they yield infinite rewards.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

The writer is delegated to declare and to celebrate man's proven capacity for greatness of heart and spirit—for gallantry in defeat, for courage, compassion and love. In the endless war against weakness and despair, these are the bright rally flags of hope and of emulation.

"No hay nada más peligroso que un hombre que no tiene nada que perder."

Each new situation requires a new architecture.

引力波是观察宇宙的一种新方式，它让我们能够听到宇宙的声音。

品格比恢复更容易保持。

质量不是愿望；它是一种承诺。