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

The hardest single part of building a software system is deciding precisely what to build.
Theorems are the milestones of mathematics.
I believe in the power of storytelling. It's how we make sense of the world and our place in it.