如果你買(mǎi)進(jìn)時(shí)股價(jià)過(guò)高，那么就算是買(mǎi)了全世界最好的公司的股票，也會(huì)變成最糟糕的投資。同理，如果你低價(jià)買(mǎi)進(jìn)一只股票，哪怕公司基本面平平，也可能會(huì)成為你投資組合中的明星。
Architecture is the art of reconciliation between ourselves and the world.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."