陈忘尘

首先确认一点，bazel多语言的构建工具，区别于其他构建工具(在构建领域有java构建工具maven、C语言构建Makefile等)，bazel有其强大的优势。 构建快。支持增量编译。对依赖关系进行了

把一个复杂的问题分解两个或更多的相同或相似的子问题，再把子问题分成更小的子问题……直到最后子问题可以简单的直接解决，原问题的解即子问题的解的合并[1]分治思想将一个难以直接解决的大问题，分割成一些规模

在包含问题的所有解的解空间树中，按照深度优先搜索的策略，从根结点出发深度探索解空间树。当探索到某一结点时，要先判断该结点是否包含问题的解，如果包含，就从该结点出发继续探索下去，如果该结点不包含问题的解，则逐层向其祖先结点回溯。（其实回溯法就是对隐式图的深度优先搜索算法）。 ​ …

类似于回溯法，也是一种在问题的解空间树T上搜索问题解的算法。但在一般情况下，分支限界法与回溯法的求解目标不同。回溯法的求解目标是找出T中满足约束条件的所有解，而分支限界法的求解目标则是找出满足约束条件的一个解，或是在满足约束条件的解中找出使某一目标函数值达到极大或极小的解，即在…

aria2是一个轻量级的多协议多源命令行下载工具。它支持HTTP/HTTPS, FTP, SFTP, BitTorrent和Metalink。可以通过内置的JSON-RPC和XML-RPC接口操作aria2 [1]. 安装配置 [2]. 配置文件 [3]. 测试启动 [4]. …

Jupyter Notebook（此前被称为 IPython notebook）是一个交互式笔记本，支持运行 40 多种编程语言。Jupyter Notebook 的本质是一个 Web 应用程序，便于创建和共享文学化程序文档，支持实时代码，数学方程，可视化和 markdown。…