你能做的最激进的事情就是绝对尊重文脉。
In science, the most exciting phrase is not 'Eureka!' but 'That's funny...'
模型检查是验证有限状态并发系统正确性的强大技术。
最危险的事情就是自以为知道自己在做什么。
"Always assume there's a crisis around the corner."