欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Vitess MySQL Cluster
Vitess MySQL 集群解决方案，支持 MariaDB 数据库。
Vitess has been a core component of YouTube's database infrastructure since 2011, and has grown to encompass tens of thousands of MySQL nodes.
$ sudo docker run -ti vitess/base bash
架构
