最令人兴奋的发现是那些挑战我们假设的发现。
The most exciting discoveries are those that challenge our assumptions.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
"To write is to embark on a journey of self-discovery, where each word is a step closer to understanding oneself."
未来は、今の積み重ね。今を大切にしなければ、未来もない。
Was everyone else really as alive as she was?... If the answer was yes, then the world, the social world, was unbearably complicated, with two billion voices, and everyone’s thoughts striving in equal importance and everyone’s claim on life as intense, and everyone thinking they were unique, when no one was. One could drown in irrelevance.
I’m going to use all my tools, my God-given ability, and make the best life I can with it.