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

形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
I turn myself into a dot and merge with the universe.
The only thing that matters is the work. If you focus on the work, everything else will fall into place.
I will tell you what I will do and what I will not do. I will not serve that in which I no longer believe, whether it call itself my home, my fatherland, or my church: and I will try to express myself in some mode of life or art as freely as I can and as wholly as I can, using for my defence the only arms I allow myself to use—silence, exile, and cunning.
Life is short. Stunt hard.