The curious paradox is that when I accept myself just as I am, then I can change.
拥有好主意的最佳方法是拥有很多主意。
O valor das coisas não está no tempo que elas duram, mas na intensidade com que acontecem. Por isso existem momentos inesquecíveis, coisas inexplicáveis e pessoas incomparáveis.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.