Technology should serve the farmer, not complicate their work.
技术应该为农民服务,而不是让他们的工作复杂化。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
There are no vital and significant forms of art; there is only art, and precious little of that.
That is what learning is. You suddenly understand something you've understood all your life, but in a new way.
A clear vision turns obstacles into stepping stones.
记忆可以使一件事看起来比实际更多。