故事是与他人连接的方式。
A story is a way of connecting with others.
如果你想飞翔,就必须放弃拖累你的东西。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
我是那种会让你想要改变生活的人。
举一个例子尚且不明白,就不要追求见多识广。