I never know what I think about something until I read what I've written on it.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
真正的领导力在于激励他人看到可能性。