欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
使用自由、开放的 Storage 技术和产品,打造一个开放的跨越全球的分布式数据存储服务系统。
OceanStore 的理想, 跨越全球的分布式持久数据存取。