程序天下事 （1）要闻点评形成拳头优势，十大软件园挂牌Java成焦点，Sun和微软重开战步硬件后尘，软件遭遇大衰退？高枕无忧的承诺，VERITAS存储新理念邮件市场火爆，东方网景异军突出
程序天下事 （1）要闻点评形成拳头优势，十大软件园挂牌Java成焦点，Sun和微软重开战步硬件后尘，软件遭遇大衰退？高枕无忧的承诺，VERITAS存储新理念邮件市场火爆，东方网景异军突出
封面报道
2015年，又是技术长足发展的一年。各个技术领域有了哪些新面貌？专家对此又有怎样的感悟呢？本期封面报道，诚邀多位专家，聊聊他们对2015年自己所关注领域的发展感悟。
无论是创业软件团队，还是企业级规模化软件研发，都会遇到提升管理能力、提升研发效率的问题。为了解决这两个问题，许多软件研发工具平台也营运而生：微软、IBM、HP、Atlassian、Rally、Collabornet、Polarion……等厂商都推出了各具特色的产品，而近年来新生的Slack、teambition等平台也带来了新的理念和产品，受到了许多团队的欢迎。作为软件研发的团队或企业，我们该如何根据自身发展情况，对这些产品和工具进行合理的选择？一个支撑软件高效研发的工具平台应该具备哪些特点？未来又将向什么方向发展呢？
目前LBS应用已在智能手机中占据了主导地位，但LBS技术覆盖范围太广，很少有能深入描述LBS技术的资料。所以作者在《程序员》杂志开辟专栏来描述LBS核心技术，本文为该专栏的第五篇。
Vert.x的由来
Vert.x诞生于2011年，当时叫node.x，不过后来因为某些原因改名位Vert.x。经过三年多的发展，现在已经到了3.2版本，社区也越来越活跃，在最新的官网Vertx.io上，作者用一句话介绍了它，JVM上的Reative开发套件。Vert.x目前是见过最功能最强大，第三方库依赖最少的Java框架，它只依赖Netty4以及Jacskon，另外如果你需要建立分布式的Vert.x则再依赖HazelCast这个分布式框架，注意Vert.x3必须基于Java8。由于基于JVM，所以Vert.x可以用其他语言来实现你的业务。默认官方维护的语言是Groovy，JavaScript以及 JRuby。
David Wood Fredericksburg, Virginia, U.S.
IF YOU THINK YOU CAN CREATE FLAWLESS CODE if you work hard enough, don’t be embarrassed. Many others have thought so, too. Unfortunately, it is not possible. Even in theory.
Arbitrary logic is hard to verify in the general case and hard, or impossible, to fully test. Drawing an analogy to the bricks and beams used in other construction-related activities, three researchers in the UK recently sug- gested that software is hard to verify because “there are no good, predictable building blocks. The elements out of which programs are constructed: state- ments, procedures, or objects, cannot be composed in a predictable fashion.”
The building blocks of software don’t snap together like Legos. They can be put together in so many ways that it is impossible to determine all of the com- binations. That may be a decent working definition of Turing completeness.* Software is, in a word, complicated.
Tracing and verifying arbitrary logic in code may sound esoteric. How about the simpler job of tracing programmer intent? Surely we can talk to pro- grammers and ask them what they meant. Unfortunately, programmer intent is generally lost within a few days of writing a code block, especially when requirements change or are inconsistently documented.
Programmers also change jobs, leaving undocumented or wrongly docu- mented code behind. Source code rapidly becomes the last and only forensic clue to programmer intent. Alas, intent can only be imperfectly ascertained from clues like variable names, logic flow, and the occasional comment.
* Turing completeness: Named after Alan Turing, this is the concept that every design for a computing device could be emulated by a universal machine. True Turing-complete machines are physically impossible, due to the unlimited storage they would require. However, Turing completeness may be attributed to machines that would be universal if they had unlimited storage.
【编者按】11月21日，为期三天的SDCC2015中国软件开发者大会成功闭幕，主办方总计邀请了95余位演讲嘉宾，为参会者奉献了10个主题演讲，9大技术专场论坛（80余场技术演讲），另外还有5场特色活动。另外，据官方统计参会人数高达1067名（不含工作人员）。其中21日的算法专场，现场听讲人数一度爆满，而没有机会亲临现场的童鞋们，我们特邀请了业内专家、与会者分享他们的听课感受及他们眼中的算法专场。以下是来自畅捷通公共服务部总监张俊林的参加算法专场的听课札记，以飨读者。日前，笔者也采访了算法大牛张俊林，内容详实，文章：《专访张俊林：十年程序员的感悟与算法之路》。
最近“增长黑客”（growth hacker）渐成整个行业热议的话题。特别是在经济寒冬来临、创业热潮不退的大环境下，如何以最高的投入产出比谋求公司的增长，成为初创公司乃至已具备一定体量的大公司都在深刻思考的问题。
封面报道11月19-21日，SDCC2015中国软件开发者大会在北京顺利召开。大会包含10个主题演讲，9大技术专场论坛及5场特色活动，吸引了1067名参会者现场听讲交流。本专题集合了多位演讲嘉宾的精华演讲内容及听讲者的参会札记，没有参会的你，通过该专题，也可一览该技术盛会所带来的技术干货。
本文内容来源于我在SDCC2015上的演讲，演讲的主题是关于C++11/14的新特性，通过一些案例和旧标准C++98/03做了对比，展示了新特性在解决问题时的优雅与强大。
在2015年11月20号下午SDCC 2015安全论坛，我跟大家分享了《运维安全那些事》这个议题，之所以选择这个议题是因为目前大部分中小型企业对运维安全都不够重视。中小型企业一般是开发人员写代码，开发人员自己上线。然而每个开发人员都有自己的风格，没有一套标准的上线流程，这也导致了安全问题频发。
近几年，全国各地的生活广场、商业街、购物中心等各种商圈如雨后春笋般冒出来，为了不断提升商圈的竞争力和提高顾客的消费体验，智慧商圈平台建设成为各类有想法的经营主和创业者们探索的新蓝海。
微信支付是腾讯公司的支付业务品牌，它提供公众号支付、扫码支付、APP支付、刷卡支付等支付方式，并且还提供代金券、现金红包、企业付款等营销工具。微信支付结合微信公众号，全面打通O2O生活消费领域，提供专业的互联网+行业解决方案，是移动支付的首选。
大众创业、万众创新的新时代已经来临，各行各业争先恐后地涌入“互联网+”的大浪潮之中，越来越多的企业开始从信息化走向互联网化。如果我们按照2C或2B，简单地将互联网分为个人互联网或企业互联网。那么，2C的个人互联网经历了过去十年的蓬勃发展，目前处于成熟期。而处于萌芽期的企业互联网即将进入“黄金十年”的高速发展期，势必成为BAT等巨头的必争之地。
编者按：目前LBS应用已在智能手机中占据了主导地位，但LBS技术覆盖范围太广，很少有能深入描述LBS技术的资料。所以作者在《程序员》杂志开辟专栏来描述LBS核心技术，本文为该专栏的第三篇。
官方软件产品操作指南 (169)