"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

我们都是破碎的，这就是光进入的方式。

The story of women’s work is a mirror held up to society’s values and priorities.

我们都希望一切保持不变。不如安于生活。

I'm not a person who is comfortable with confrontation. I like to keep the peace.