相信我,这世上没有“他们”。(U2《Invisible》的歌词:“There's no them / There’s only us”)
                    梦想不是去追逐的东西,而是会追逐你的东西。
                     阅读不是为了反驳和辩驳,也不是为了盲目相信和理所当然,也不是为了找话题和谈资,而是为了权衡和思考。
                    Model checking is a powerful tool for verifying the correctness of hardware and software systems.
                    即使身在远方,我们也随身携带着我们的家。
                    成功不在于你赚了多少钱,而在于你对人们生活的影响。
                    如果你不准备犯错,你永远不会想出任何原创的东西。
                    Innovation in agriculture isn't just about technology; it's about understanding the land and listening to those who work it every day.