欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Amazon Aurora 是一个与 MySQL 兼容的关系型数据库引擎，结合了高端商用数据库的速度和可用性，同时还具有开源数据库的简单性和成本效益。Amazon Aurora 提供了比 MySQL 更好过五倍的性能，分发类似的性能和可用性，价格点仅为一般商业数据库的十分之一。
