We must be vigilant and resolutely fight against all enemies, both internal and external.
我们必须保持警惕,坚决与一切内外敌人作斗争。
The self is not a solid thing but a collection of echoes.
通往哲学的第一步是怀疑。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
I never want to look back and say I could have done more.