欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
OpenCloudStack
来自开放百科 - 灰狐
OpenCloud: 一个开放的云计算平台.
Google 的核心基础设施包括: Google File System, MapReduce, BigTable, 类似 Google 基础架构的 Cloud Computing 模式非常吸引我。
你也可试着通过 ZFS and Lustre, Apache Hadoop, Hypertable and HBase 搭建自己的核心基础设施.
可选择 Enomalism提供虚拟设施的监控能力
让 Your Apps in the Cloud, 让你在云中漫步.
分享您的观点
