欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
在Oracle收购MySQL使用的数据引擎之一的InnoDB后，Falcon数据引擎受到很大的期待, Falcon进行了许多创新，支持目前网络服务所需的超大容量，以及在一些情况下所要求的高性能执行环境。"
Falcon现在公布的是alpha版，Windows (32-bit)和Linux (32-bit及64-bit)，目前只支持MySQL 5.1。
http://www.mysql.org/doc/refman/5.1/en/se-falcon.html
