Never be the brightest person in the room; if you are, you're in the wrong room.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Vices are sometimes only virtues carried to excess!
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。
The future of drones is intelligent, collaborative, and autonomous.