—— 请按键盘 空白键 开始游戏 ——

计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
The customer’s voice should always be the loudest in the room.
The reality is: sometimes you lose. And you’re never too good to lose. You’re never too big to lose. You’re never too smart to lose. It happens.
伟大的书籍是从不背弃我们的朋友。
写作是一种思考的方式,一种理解世界的方式。