生活是一系列的时刻,我们有责任充分利用每一个时刻。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
Truth is God, and God is Truth.
太阳,带着所有围绕它运行并依赖它的行星,仍然能成熟一串葡萄,仿佛它在宇宙中无事可做。
如果你希望永远不被批评,那就不要尝试任何新事物好了。