作家的责任是讲述未被讲述的故事。
The writer’s responsibility is to tell the untold stories.
心如止水,世间万事皆可平。
The only thing standing between you and your goal is the story you keep telling yourself as to why you can’t achieve it.
The only thing that can make you a hero is your heart.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."