The best films are the ones that make you think.
模型检查是验证有限状态并发系统正确性的强大技术。
The only thing that matters is the work itself.
Time is an illusion. Lunchtime doubly so.
Life is so much easier when you don’t have to pretend to be someone else.