I don’t follow trends, I set them.
读报或者看电视新闻时,总是难免碰上一个又一个的为社会问题的解决提供了新的解决方案的人。
你越诚实,人们就越能与你的音乐产生共鸣。
Architecture is the art of organizing space in a meaningful way.
你唯一能做的就是在特定的那一天全力以赴。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。