欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Green Computing
来自开放百科 - 灰狐
Computing's Green Computing campaign aims to raise awareness of environmental issues in IT departments and in doing so, to reduce business costs and improve efficiency.
随着计算机的不断普及，Internet 竞争的日趋加剧，大量服务器的上线，使得电力的消耗也不断增加，数据中心的运营成本不断攀升。
我们倡导绿色计算。
厂商方案
- Sun 处理器－能效冠军 http://www.sun.com/processors/
- IBM 能效创新 - http://www-900.ibm.com/cn/systems/bladecenter/
分享您的观点
