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