战争最可怕的地方在于它让人们习惯了死亡。
The worst thing about war is that it makes people get used to death.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
伟大的领导者创造更多的领导者，而不仅仅是追随者。