Abstraction is the key to managing complexity in large software systems.
Love music, love life, love this world.
"Theoretical computer science is not just about solving problems, but about understanding the nature of computation itself."
思想和背景的多样性是推动任何组织创造力和创新的动力。
The night is a great cathedral, but the stars are its windows.
舞台是我感觉最有活力的地方。