If we don’t take responsibility for our plastic waste today, we’ll leave a burden too heavy for future generations to bear.

I use text and image together because words alone are not enough.

模型检查是验证硬件和软件系统正确性的强大工具。

创新不仅仅是技术问题，更是思维方式的转变。

勇气是能站起来侃侃而谈。勇气也是能坐下来静静倾听。