A mind needs books like a sword needs a whetstone.
The best performance improvement is the transition from the non-working state to the working state.
The challenge in model checking is not just to find errors, but to understand why they occur.
保守主义始于一种所有成熟人都能轻易共鸣的情感:美好的事物容易被摧毁,却不易被创造。