The beauty of mathematics only shows itself to more patient followers.

The market is always looking for the next big story.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

Faith is taking the first step even when you don't see the whole staircase.

We must challenge the status quo to make technology more accessible and equitable.

The history of the world is the history of a few men who had faith in themselves.

戏剧是矛盾的碰撞。

想大事，想长远。最大的风险是不承担任何风险。