Milvus 是一款开源的特征向量相似度搜索引擎，具有使用方便、实用可靠、易于扩展、稳定高效和搜索迅速等特点，在全球范围内被上百家组织和机构所采用。Milvus 已经被广泛应用于多个领域，其中包括图像处理、机器视觉、自然语言处理、语音识别、推荐系统以及新药发现等。

Go示例学，根据示例学习Go语言。

10W+字长文帮你深入精通 TypeScript 语言。

Clojure(读作 "Closure")是 Rich Hickey 发明的一门 Lisp 方言, 它是一门通用编程语言但是着重于函数式编程. Clojure 本身编译到 JVM Bytecode 运行, 而 ClojureScript 编译到 JavaScript 运行. ClojureScript 在不可变数据和 DSL 构造方面的优势使之非常适合配...

跟随 @无闻 视频学习 Golang 编程基础的学习笔记

rqlite，一个使用Go语言开发的轻量级的分布式数据库，它使用SQLite作为后端存储引擎，可以通过HTTP API进行访问，具有高可用性和可扩展性。

Ruby是一门灵活简单的面向对象的解释型脚本语言

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

本教程全面介绍 JavaScript 核心语法，从最简单的开始讲起，循序渐进、由浅入深，力求清晰易懂。所有章节都带有大量的代码实例，便于理解和模仿，可以用到实际项目中，即学即用。 本教程适合初学者当作 JavaScript 语言的入门教程，也适合当作日常使用的参考手册。

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