"Verification is not just about finding bugs; it's about understanding why the system works the way it does."

我不相信扮演反派或英雄。我相信扮演人。

那些疯狂到认为自己能改变世界的人，才能真正改变世界。

To feel much for others and little for ourselves； to restrain our selfishness and exercise our benevolent affections， constitute the perfection of human nature.

Let the world see the hard power of Chinese tech companies.

谈预防

只有一种真正的罪过，那就是说服自己次好的东西不仅仅是次好的。