我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
Life is too short to waste time hating anyone.
人生中最美好的时刻,不是那些被动、接受、放松的时光……最美好的时刻通常发生在一个人自愿努力去完成一项艰难而有价值的事情时,身体或心灵被拉伸到极限的时候。
通过行动来验证你的思想。
你一生中最起码要做的事情是弄清楚你所希望的。而你能做的最多的事情就是活在那个希望之中。不是远远地欣赏它,而是直接生活在它的庇护之下。
"In the end, we are all just stories."