分布式一致性算法：由数学证明推导出Paxos
# 序
Basic-Paxos是分布式一致性算法的元祖算法之一，现代的分布式一致性算法基本都是Basic-Paxos算法的优化、改进或简化。
由于过于晦涩难懂，Basic-Paxos也是最难理解的算法之一，然而有理由相信，直接从数学证明推导出Basic-Paxos算法是理解它最便捷的方法。
#
杭州装上“城市大脑”——车辆通行速度最高提升11%
【本文转载自中国城市报】
日前，杭州市政府公布了一项“城市大脑”计划：为这座首批列入国家智慧城市试点的城市，安装一个人工智能中枢——杭州城市数据大脑。在杭州萧山区的部分路段初步试验中，城市大脑通过智能调节红绿灯，车辆通行速度最高提升了11%。
淘宝资深算法专家永叔带你入门机器学习
本文介绍了机器学习的基础知识以及在企业中的一些应用。通过本文的学习可以快速了解机器学习的基本概念、监督学习以及PAC学习理论，并了解机器学习在实际应用中现状。
Anaconda+Sublime环境搭建配置教程
随着机器学习和深度学习的热潮，各种图书层出不穷。然而多数是基础理论知识介绍，缺乏实现的深入理解。本系列文章是作者结合视频学习和书籍基础的笔记所得。本系列文章将采用理论结合实践方式编写。首先介绍机器学习和深度学习的范畴，然后介绍关于训练集、测试集等介绍。
图的最小生成树——Kruskal算法
Kruskal算法的思想如下
假设有n个顶点的连通图。首先先构造有顶点构成的集合0，每个顶点都是一个集合，不含有任何边。
在边找一个最小权值的边
判断这个边的俩个顶点是否来自于两个不同的集合，若是就将它俩归并为一个集合，然后将这个边添加到要构成的图的集合中。