欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenComputing
来自开放百科 - 灰狐
OpenComputing 旨在为各种研究和公益事业汇集全球各地大量个人电脑的强大运算能力。而不是像军备竞赛那样不停得增加服务器和存储设备。充分利用好现有的全球空闲运算能力也是对社会和地球的一种贡献。OpenComputing类似 BOINC这样的项目。
来自equn.com的相关解读
- 我们将 EQUN DOT COM 读作“亿群大康”
亿群,可以指代海量计算,亿万个人组成的具有亿万次级计算能力的计算集群。
大康,因特网上的共产主义(国际互联网上的英特纳雄耐尔),我们比“小康”社会更进一层。国家在全面建设小康社会,我们在致力于建设互联网上的大康世界。我们希望在不久的将来,人人皆可自由的贡献自己的计算能力,人人皆可方便的获得他人的计算能力用于有益于全人类的事业中。
- 加入“亿群”,实现“大康”!
分享您的观点