The longer I am out of office, the more infallible I appear to myself.
我离开职位的时间越长,我就越觉得自己是无所不能的。
In mining, the real competition is often against the market's short-term mindset.
萤火虫对群星说:「学者说你的光有一天会熄灭。」群星不回答它。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."