Don’t regret getting older. It’s a privilege denied to many.
一门不影响你编程思维的语言不值得学习。
最终重要的不是我们找到的答案,而是我们敢于提出的问题。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.