The future is not something we enter. The future is something we create.
未来不是我们进入的东西。未来是我们创造的东西。
The best quarries leave no scars, only responsible transitions.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
道自安静之中得来,德于谦让之中养成,福在清俭之中积累,命于和畅之中保全。
I never want to stop learning and growing as an artist.
The beauty of mathematics only shows itself to more patient followers.
光的原因不在于颜色,而在于光本身。
The future is not fixed; it is something we can shape with our knowledge and actions.