写作是一种爱的行为，一种接近他人、理解他人的方式。
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
我不需要任何人来完整我。我自己就能完整自己。