Agda，一种依赖类型编程语言/交互式定理证明器。

Linux 操作系统 Debian 8 管理员手册，Debian Jessie 从入门到精通。

Apache ActiveMQ® 是最流行的开源、多协议、基于 Java 的消息代理。

Apache ActiveMQ 是最流行的开源、多协议、基于 Java 的消息代理。

Python的3.0版本，常被称为Python 3000，或简称Py3k。相对于Python的早期版本，这是一个较大的升级。为了不带入过多的累赘，Python 3.0在设计的时候没有考虑向下兼容。

Longhorn 是用于 Kubernetes 的轻量级、可靠且功能强大的分布式块存储系统。 Longhorn 使用容器和微服务实现分布式块存储。 Longhorn 为每个块设备卷创建一个专用的存储控制器，并跨存储在多个节点上的多个副本同步复制该卷。存储控制器和副本本身是使用 Kubernetes 编排的。

最好的Go语言的RPC服务治理框架，快、易用却功能强大

这份文档的翻译工作始于 2016年 4月初，由于翻译量较大，加之 Node.js 官方版本更新较快，因而目前尚无法跟上官网的（版本）更新节奏，因此不再进一步更新。

这本书指导你通过练习和记忆逐渐建立起 Python 的使用技巧，然后用在更复杂的问题上。学完本书，你将会拥有开始学习更复杂编程所需的工具。我很喜欢告诉别人，我的书可以让你拥有“编程黑带”，也就是你已经掌握要开始学习编程的最基本的知识。

Longhorn 是用于 Kubernetes 的轻量级、可靠且功能强大的分布式块存储系统。 Longhorn 使用容器和微服务实现分布式块存储。 Longhorn 为每个块设备卷创建一个专用的存储控制器，并跨存储在多个节点上的多个副本同步复制该卷。存储控制器和副本本身是使用 Kubernetes 编排的。