"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."

笑是一种连接大群体的机制。

Architecture is not about the end product, it's about the process of making.

模型检查是验证有限状态并发系统正确性的强大技术。