欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenPower
来自开放百科 - 灰狐
IBM OpenPower 系统提供一个灵活的、针对 Linux 调优的平台，这个平台构建在开放的业界标准之上，给予您所需的自由度，来支持未来的发展并保持业务灵活性。
OpenPower 服务器具有灵活的体系结构，使 OpenPower 服务器能在同一平台上无缝地同时运行 32 位和 64 位应用程序。
IBM POWER5™ 体系结构是第五代 IBM POWER 技术，它提供了客户可依赖的、公认的稳定计算平台。
OpenPower 服务器利用了基于 IBM POWER5 体系结构的服务器系列的可靠性、可用性和可维护性，从而把真正的企业级计算引入了 Linux 系统。
OpenPower谈不上是一个开放项目, 只是 IBM 借助 Open 和 Linux 的一次商业运作.
Links
分享您的观点
