The only way to learn a new programming language is by writing programs in it.
A person who is too nice an observer of the business of the crowd, like one who is too curious in observing the labor of bees, will often be stung for his curiosity.
一个过于关注人群事务的人，就像过于好奇地观察蜜蜂劳动的人一样，往往会因为好奇心而被蜇伤。
A proof tells us where to concentrate our doubts.
If you want to understand a system, try changing it.
如果你想理解一个系统，试着改变它。
A proof is a repeatable experiment in persuasion.
证明是一种可重复的说服实验。
A proof tells us where to concentrate our doubts.
证明告诉我们该集中怀疑的地方。