La literatura es un viaje, una exploración de lo desconocido, una búsqueda de la verdad.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
每个人都是自己故事里的英雄。
经济变革的过程在很大程度上是路径依赖的。
Life is about creating yourself.