λ演算是一种表示函数及其应用的形式体系。
坚持志向就像心痛一样，心思全在痛处，哪有时间说闲话、管闲事。
每面墙都有自己的声音，我的工作就是倾听。
量子纠错不仅仅是一个理论概念；它是构建可扩展量子计算机的实际需求。
Every moment with our fans is precious.
【译文】 孔子说：“有益的朋友有三种，有害的朋友有三种。与正直的人交朋友、与诚实的人交朋友、与见多识广的人交朋友，有益处；与走邪门歪道的人交朋友、与谗媚奉迎的人交朋友、与花言巧语的人交朋友，有害处。”