The important thing is not to stop questioning. Curiosity has its own reason for existing.
重要的是不要停止提问。好奇心有其存在的理由。
The only lies for which we are truly punished are those we tell ourselves.
The future of computing lies in the development of systems that can verify their own correctness.
Most people are afraid of change, but if you look at it like it's something that can always count on, then it can be a comfort．It doesn't have many things that you can count on．