Paxos（分布式一致性算法）作为分布式系统的基石，一直都是计算机系统工程领域的热门话题。Paxos号称是最难理解的算法，其实现真的这么困难么？“X-Paxos”是阿里巴巴数据库团队面向高性能、全球部署以及阿里业务特征等需求，实现的一个高性能分布式强一致的Paxos独立基础库。X-Paxos具体又有哪些优势，能给现有的系统带来什么用的收益呢？

党磊，搜狐视频高级工程师。2015年研究生毕业后加入搜狐视频，曾负责短视频推荐的召回模型、排序模型、短视频播放质量评价体系、短视频分类等项目，目前主要研究方向为将深度学习算法应用到视频推荐系统中。

JetBrains Intellij IDEA基于对Java 9支持进行了一系列的更新，包括使Java 9模块化元素Jigsaw项目。IDEA优化主要包括智能代码的实现、控制流的改进、添加Java 9的重构支持、调试器与新的检查改进以及添加Groovy 2.5.0和Kotlin 1.1.3支持。

不完全统计，2017年上半年有63家企业获得融资，总融资金额超过68亿人民币。其中获得上亿元融资的企业17家。

2017已经过半，最近小编对TIOBE编程语言排行榜上半年的语言排名进行了分析。Java、C、C++、C#、Python稳居排行榜前五位。Java依然在榜单霸主位置，甩C语言好几条街。但是进入7月份我们发现了一个亮点，Go语言进入了TIOBE编程语言排行榜前十名，R有望成为新晋年度编程语言。

众所周知，企业上云大势所趋。可是为什么要上云?如何上云?上怎样的云?大部分企业并没有一个清晰的答案。尤其成长型企业，在快速变化中求发展，在发展中求创新。云ERP除了满足随需应变的业务需求外，低门槛低成本的云模式也成为成长型企业上云的坚定理由。

最近，微软推出在云中更易运行容器的解决方案——ACI。ACI(即Azure Container Instances)是一种新的Azure服务，允许开发人员在几秒钟内启动，无需任何管理虚拟机或容器编排工具的帮助。

7月27日，国内知名的数据库云产品供应商上海爱可生信息技术股份有限公司在北京正式发布了其“云树2.0”系列产品。据悉，“云树2.0”是面向金融级MySQL数据库的整体解决方案，有望成为一个标志性里程碑, 它宣告MySQL大体量运维管理从此可以告别野蛮生长，走向规模化、基线化和自动化。

虽然Rust是编译型语言，Python是解释型语言，但是由于两者的ABI(应用程序二进制接口)在设计上存在相似性，Rust代码可以应用到Python上。结合实例说明基于Python的使用Rust在一定程度上完全可以取代C/C ++

守正出奇，源自《孙子兵法》之“凡战者，以正合，以奇胜”。是指按着常规发展，却又不固守常规，能突破思维、出奇制胜。

近日硅谷大学对500多名IEEE会员进行了调查，结果显示：大部分都认为企业如果想在物联网行业获得发展，就必须拥有技能和业务非常熟练的员工。交流和写作的软技能与数据分析可能会成为物联网（IoT）人才非常稀缺的技能。

7月25日，瀚思科技(简称瀚思)在北京宣布完成B轮融资1亿元人民币，本轮融资由国科嘉和基金和IDG资本领投，南京高科等A轮投资方继续跟投。凡卓资本担任本次融资独家财务顾问。

近日，Spring Framework开源项目的联合创始人兼项目负责人Juergen Hoeller 宣布发布Spring Framework 5.0 RC3。Spring5框架功能是相对齐全的，而预计今年9月份发布的Spring Framework 5.0扩展版本将使其更加稳固，Spring5从5月份发行以来一直得到用户的好评，这次延期发布的版本更会有许多API更新。而且今年9月份发布的版本会与最新的Java9具有更大的通用性。

5月12日，席卷全球的勒索病毒“永恒之蓝”让全世界都为之震动，这是迄今为止全球最大规模的勒索病毒网络攻击，100多个国家受到病毒感染……

对于确定DevOps转换的业务价值来说，什么才是最重要的绩效指标（KPI）和最佳范例？在持续改进的过程中，我们的关注点应该在哪里？在这篇文章中，JAX London演讲者Anders Wallgren解释了测量和度量是DevOps转换关键指标的原因。

30万现金奖励，美国硅谷游学机会，阿里中间件招聘优先推荐名额，感受并挑战双十一业务场景，以上每一条看上去都是如此的诱人，这就是2017 阿里中间件性能挑战大赛。

最近，麻省理工的科学家研制了一种算法：将AI和Wi-Fi结合通过检测人类的心跳超声射频信号(RF signals)来解读人当前处于的情感状态。EQ Radio无论是在情感识别语境还是在无损伤健康监测和诊断方面都为我们研究心跳形态铺平了道路。在人工智能飞速发展的今天，我们要更加注重自身的安全和隐私。

来自邓迪大学研究人员Dianbo Liu 和Luca Albergante 从网络模型理论出发，利用网络分析《权力的游戏》结构和动态，为我们利用网络理论来量化、推断故事情结变化提供了一个方法。

来自权威机构Packt互联网服务公司的对4731位全球技术专家的《2017年程序员技能和薪资报告》最新调查结果显示，Python被评为程序员最受欢迎的编程工具，而 Splunk、Hadoop和Kafka程序员薪资分别位居排行榜前三位。

Python是一门使用非常简单的编程语言，可以轻松应用于各种应用程序的开发，想要开始一门语言的学习，工具当然必不可少。本文主要介绍Python使用手册让你在学习过程中少走弯路！