I'm not a girl trying to be a star. I'm just a girl who sings.
我不是一个想成为明星的女孩,我只是一个唱歌的女孩。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
书写痛苦是为了消解它对记忆的掌控。
找到自己的最好方式是在音乐中迷失自己。
纠正错误的方法是用真理之光照射它们。
死亡是一种幸福,是非常深邃的幸福——是在痛苦不堪的徘徊后踏上归途,是严重错误的纠正,是从难以忍受的枷锁桎梏中得到解放。
最大的风险就是不冒任何风险。