mypy 实用工具是一款针对 Python 的静态类型检查程序。它结合了动态类型和静态类型的优点。想必各位读者也知道，Python 是动态类型编程语言。那么 Python 的静态类型检查有何意义呢？且听细细分解。

TensorFlow是一个开源软件库，用于各种感知和语言理解任务的机器学习，被广泛应用于各类机器学习（machine learning）算法的编程实现

智能钛机器学习平台通过可视化的拖拽布局，组合各种数据源、组件、算法、模型、评估模块及部署模块，为AI工程师提供从数据预处理、模型训练、模型评估到模型服务部署的全流程服务

Nextcloud是一款免费开源的类似百度网盘的私有云存储网盘系统，可以让你快速便捷地搭建一套属于自己或团队的云同步网盘，从而实现跨平台跨设备文件同步、共享、版本控制、团队协作等功能。它的客户端覆盖了Windows、Mac、Android、iOS、Linux 等各种平台，也提供了网页端以及 WebDAV接口，所以你几乎可以在各种设备上方便地访问你的云盘。

Scheme是一种函数式编程语言，是Lisp的两种主要方言之一。不同于Common Lisp，Scheme遵循极简主义哲学，以一个小型语言核心作为标准，加上各种强力语言工具来扩展语言本身。 麻省理工学院与其他院校曾采用Scheme教授计算机科学入门课程。

Nextcloud是一款免费开源的类似百度网盘的私有云存储网盘系统，可以让你快速便捷地搭建一套属于自己或团队的云同步网盘，从而实现跨平台跨设备文件同步、共享、版本控制、团队协作等功能。它的客户端覆盖了Windows、Mac、Android、iOS、Linux 等各种平台，也提供了网页端以及 WebDAV接口，所以你几乎可以在各种设备上方便地访问你的云盘。

图像、文字和声音是人类接触、理解外部世界最常见的三种形式，其中文字又是最容易保存和进行交换的形式。大量的人类文明，最终都是以文字的形式保留下来的；大量的信息交换，都是是文字的形式进行。如何能让机器可以与人交流，理解人类的思想，最终能像人类一样理解文字以及文字背后的各种想法、意图呢？自然语言处理，即所谓的NLP是重要的支撑技术。

这是一本不同寻常的Common Lisp入门书。本书首先从作者的学习经过及语言历史出发，随后用21个章节讲述了各种基础知识，主要包括：REPL 及Common Lisp 的各种实现、S- 表达式、函数与变量、标准宏与自定义宏、数字与字符以及字符串、集合与向量、列表处理、文件与文件I/O 处理、类、FORMAT格式、符号与包，等等。而接下来的9 个章节则翔实地...

这是一本不同寻常的Common Lisp入门书。本书首先从作者的学习经过及语言历史出发，随后用21个章节讲述了各种基础知识，主要包括：REPL 及Common Lisp 的各种实现、S- 表达式、函数与变量、标准宏与自定义宏、数字与字符以及字符串、集合与向量、列表处理、文件与文件I/O 处理、类、FORMAT格式、符号与包，等等。而接下来的9 个章节则翔实地...

sprite.js 是跨平台的2D绘图对象模型库，它能够支持web、node、桌面应用和微信小程序的图形绘制和实现各种动画效果。