又譬如，我曾经思考过，为什么大家都说MySQL很烂，但是互联网公司却在大量使用。由于这种实践和理论的不一致，我只能得出以下猜想： 1. 在互联网要考虑的场景中，MySQL都是正确的，譬如分布式系统本来就需要重新实现一套自己的事务系统，所以MySQL没trigger也无所谓。 2. 存在着一个由高水平程序员/PhD维护的核心系统，其他部分的正确性依赖于这个部分，譬如原子钟授时/Raft共识集群可以减