The internationalization strategy must be steady and solid, seizing opportunities while controlling risks.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

When the mind that is subtle goes out through the brain and the sense-organs, the gross names and forms appear; when it stays in the heart, the names and forms disappear.

"The only thing worse than being blind is having sight but no vision."

Strategy is about making choices, trade-offs; it's about deliberately choosing to be different.

To write is to make the invisible visible.

The art of life is to live in the present moment, and to make that moment as perfect as we can.

有时候你必须接受，有些人注定不会永远留在你的生活中。