欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Sector/Sphere
来自开放百科 - 灰狐
Sector/Sphere:一个类似 Apache Hadoop 的分布式存储和并行计算框架。
- Sector: Distributed File System
- Sphere: Parallel Data Processing Framework
- Space: Column-based Distbuted Data Table
链接
分享您的观点