Rust是由Mozilla主导开发的通用、编译型编程语言。设计准则为“安全、并发、实用”，支持函数式、并发式、过程式以及面向对象的编程风格。 Rust 语言原本是Mozilla 员工 Graydon Hoare 的私人项目，而 Mozilla 于 2009 年开始赞助这个项目，并且在2010 年首次揭露了它的存在。

LightGBM 是一个梯度 boosting 框架, 使用基于学习算法的决策树. 它是分布式的, 高效的, 装逼的, 它具有以下优势: 速度和内存使用的优化、稀疏优化、准确率的优化、网络通信的优化、并行学习的优化、GPU 支持可处理大规模数据。

数据科学是通过探索，预测和推断，从大量不同的数据集中得出有用的结论。探索涉及识别信息中的规律。预测涉及使用我们所知道的信息，对我们希望知道的值作出知情的猜测。推断涉及量化我们的确定程度：我们发现的这些规律是否也出现在新的观察中？我们的预测有多准确？我们用于探索的主要工具是可视化和描述性统计，用于预测的是机器学习和优化，用于推理的是统计测试和模型。

Dart是一种基于类的可选类型化编程语言，设计用于创建Web应用程序。 Google称，Dart的设计目标是为Web编程创造结构化但又富有灵活性的语言；编程方法一目了然，符合程序员的自然习惯，易于学习；能在所有浏览器 和不同环境中实现高性能。

ZStack Mini边缘计算一体机（简称：ZStack Mini）将轻量化的ZStack云引擎搭载于双子星服务器上，通过软硬一体化输出形式提供一站式云计算解决方案。ZStack Mini采用工业级标准设计，支持两节点起步，具备开箱即用、灵活弹性扩展以及完善的云计算服务能力，助力企业有效节约IT成本、加速信息化建设效率、以及应对边缘计算等新型业务场景挑战，实...

CukeTest是开发测试自动化脚本的一个灵巧方便的工具。用户可以使用此工具快速创建BDD（行为驱动开发, Behavior Driven Development）测试脚本。它集成了Cucumber框架和JavaScript，可视化编辑，调试功能，并有多个html报告模板可供选择。同时它能够实现了各种类型应用的自动化，包括Web、Windows、移动设备、A...

Redux 是 JavaScript 状态容器，提供可预测化的状态管理。 可以让你构建一致化的应用，运行于不同的环境（客户端、服务器、原生应用），并且易于测试。不仅于此，它还提供 超爽的开发体验，比如有一个时间旅行调试器可以编辑后实时预览。Redux 除了和 React 一起用外，还支持其它界面库。 它体小精悍（只有2kB，包括依赖）。

Fedora 12 虚​拟​化​指​南​包​含​在​ Fedora 12 中​使​用​的​有​关​安​装​、​配​置​、​管​理​、​提​示​、​陷​阱​以​及​故​障​排​除​等​虚​拟​化​技​术​信​息​。​

ZStack Mini边缘计算一体机（简称：ZStack Mini）将轻量化的ZStack云引擎搭载于双子星服务器上，通过软硬一体化输出形式提供一站式云计算解决方案。ZStack Mini采用工业级标准设计，支持两节点起步，具备开箱即用、灵活弹性扩展以及完善的云计算服务能力，助力企业有效节约IT成本、加速信息化建设效率、以及应对边缘计算等新型业务场景挑战，实...

TARS是基于名字服务,使用二进制TARS协议的高性能RPC开发框架, 同时配套一体化的运营管理平台, 并通过伸缩调度, 实现运维半托管服务。 TARS本身有如下特性: 多语言: TARS支持C++/JAVA/PHP/NodeJS等多种语言; 敏捷研发: 通过快速服务构建, 自动化代码生成与持续集成工具, 保证研发效率; 高可用: TARS自带服务发现,...