数学是逻辑思想的诗歌。
Mathematics is the poetry of logical ideas.
模型检查是验证硬件和软件系统正确性的强大工具。
每一个他者都是完全的他者。
我不是一个回头看的人。我总是向前看。
The biennial is not just an exhibition format, but a geopolitical instrument.
The best edits are the ones you don't notice.
The minute you start compromising for the sake of mass appeal is the minute you're dead.
在商业中，如果你不前进，你就在落后。