欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
CloudBase
来自开放百科 - 灰狐
CloudBase- Data Warehouse System For Terabyte And Petabyte Scale Analytics.
It is built on top of MapReduce architecture. It allows you to query flat log files using ANSI SQL.
Links
分享您的观点
