不要看时钟，做它该做的事。继续前进。
Don't watch the clock; do what it does. Keep going.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
When you're depressed, It always helps to lean your head on your arm. Arms like to feel useful.
文学是唯一一种不用离家就能逃离的方式。
The Erdős discrepancy problem fascinated me because it was so simple to state yet so deep in its implications.
生命中最美丽的东西不是事物，而是瞬间。
"你越是试图控制影子，它就越控制你。"
科学的本质不是使简单的事物复杂化，而是使复杂的事物简单化。
In the factory, we make machines; in the field, we grow food; but in the office, we make decisions that shape both.