我不是为排行榜做音乐。我是为人们做音乐。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
作为爱尔兰人，就是要知道最终世界会伤透你的心。
我不想成为下一个谁，我要做第一个自己。
The only thing that matters is how you feel about yourself.
我们写的每一个方程都是宇宙的一首诗，是存在伟大史诗中的一节。
算法不应该决定内容的价值，人的判断才是核心。
我比我想象的更坚强。
The future of energy lies in balancing economic growth with environmental responsibility.