最好的故事不是来自“好与坏”的对立,而是来自“好与好”的对立。
写作是一种自由的行为,一种打破束缚我们于平凡之中的锁链的方式。#
We must always question our assumptions and be willing to revise our theories in light of new evidence.
La vie est un miroir: si tu y regardes en souriant, il te sourit en retour.
The future of computing lies in the development of systems that can verify their own correctness.
我们正处于一场关于如何理解和管理我们健康的革命的开端。