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

I don't chase trends, I set them.
我不追逐潮流,我创造潮流。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
I was not born blind, I became blind at the age of 12, but I never felt like a victim.
写作的行为是一种勇气的行为,是对生命短暂本质的挑战。
To understand a program you must become both the machine and the program.
I'm fascinated by medicine because it's the line between life and death.