"Writing is a way of talking without being interrupted."
好的政策需要健全的理论和实证验证。
The best way to debug a program is to make it work.
Memory is a tricky thing. It's not always reliable, but it's all we have.
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
永远保持好奇心，突破往往就在那里发生。
Quality starts from the seed, not just the harvest.