欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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