"The truth will set you free, but first it will piss you off."
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
I don't keep a journal. I keep a life.
"The only thing that interferes with my learning is my education."
心是指南针,但并不总指向北方。
I'm a Martian, ain't nobody can reach me.
人们为了生存,会去杀害别人。