谈程序的正确性
文/王垠不管在学术圈还是在工业界，总有很多人过度的关心所谓“程序的正确性”，有些甚至到了战战兢兢，舍本逐末的地步。下面举几个例子：很多人把测试（test）看得过于重要。代码八字还没一撇呢，就吵着要怎么怎么严格的测试，防止“将来”...
新闻首页 / “2015年07月18日”的新闻
查看方式：
3
文/王垠不管在学术圈还是在工业界，总有很多人过度的关心所谓“程序的正确性”，有些甚至到了战战兢兢，舍本逐末的地步。下面举几个例子：很多人把测试（test）看得过于重要。代码八字还没一撇呢，就吵着要怎么怎么严格的测试，防止“将来”...
2
新地平线号在冥王星上发现“冰冻平原”
在新地平线号拍摄的飞跃冥王星照片中，中央位置有一大块区域形似心形，它被非正式的命名为 Tombaugh 区，以纪念冥王星的发现者 Clyde Tombaugh。在心形区域中心偏左的位置，NASA 科学家注意到有一块巨大的没有陨石坑的冰冻平原，其形成历史可能不超过一亿年，很可能仍然处于地质进程...
1
Renderman发布支持Blender的扩展
皮克斯的著名渲染工具 Renderman 今年开始向用户免费提供非商业版本，而用户对 Renderman 的一个请求是支持开源 3D 图形编辑和渲染软件 Blender。皮克斯满足了这一要求，Renderman 20加入了对 Blender 的支持。PRMan for Blender 扩...
4
为什么成功故事难以复制？
媒体喜欢追逐成功的企业和企业家。在报纸、杂志、网络上，你可以看到各种各样的成功故事，它们甚至形成了一定的套路——企业家在苦苦钻研多年之后，终于找到了打开成功大门的金钥匙，而这一切归功于他的远见卓识和坚韧不拔。你去报刊亭看看，大多数商业杂志都是这个路数，而且封面人物总是...
0
垃圾邮件流量比重十年来首次低于50%
根据赛门铁克 2016 年 6 月的《Intelligence Report》（PDF），垃圾邮件占所有电子邮件流量的比率从今年 4 月的 52.1%、5 月的 51.5% 降至 49.7%。十多年来首次低于 50%。垃圾邮件流量的下降要感谢邮件服务商改进垃圾邮件过滤以及发送垃圾邮件的僵尸网络遭...
0
美团：屡战屡胜之危
最近，在一科技媒体报道中写道美团对外强调，“第一，第一，第一”，重要的事情要说三遍。这家公司一向以执行力强而著称，如今遍地开花，同时在多条战线攻城略地。市场上升的时候看“势”，下降的时候看“值”。O2O 的势方兴未艾，而...
0
美国服装协会致信马云：报怨阿里打假无实质性结果
7 月 18 日午间消息，据《华尔街日报》网络版报道，美国服装和鞋履协会（American Apparel & Footwear Association）近日向阿里巴巴董事局主席马云发送公开信，抱怨该公司旗下网站打假不力。该协会代表 1000 多家服装和鞋履品牌，该公开信称，...
8
Linus Torvalds发公开信：狂喷Google Mail小组
亲爱的 Google Mail 小组：以前，我夸过你们的垃圾邮件过滤器如何如何好，但现在恐怕得把那些话收回来了。我检查了你们上周拦截的垃圾邮件，已经查了其中三分之一。发现最近你们做的一些事情，简直就是灾难！在我检查过的大约 1000 个垃圾邮件（spam threads）中，竟然...
2
微软承诺将有10年Windows 10支持
离Windows 10发布还有 2 周不到时间，微软也陆续完善用户协议等细节内容，系统的支持生命周期策略也已经更新。Windows 10 将继续常规的 10 年支持生命周期，其中前 5 年是主流支持，开始于今年 7 月 29 日，结束于 2020 年 10 月...
1
雅虎分拆阿里股份进展：3.84亿股全部注入新拆公司
7 月 18 日消息，雅虎今年初宣布将分拆所持阿里巴巴股份。准备把持有的 15% 阿里股份注入一家独立的上市投资公司。近日，雅虎向美国证券交易委员会（SEC）提交了这一计划的初步文件。据消息称，这家新公司名称为 Aabaco Holdings，将持有阿里巴巴的 3.84 亿股...
0
微软全面采用公司员工新工牌设计
微软工程师 Ahmet Alp Balkan 利用他的工作之余重新设计了一套员工工牌，这一设计经过设计师迭代之后已经完全被公司采用，作为新的工牌设计。Steve Clayton 也分享了新的工牌照片：新的员工工牌使用圆形头像（微软现在相当多的地方都开始采用圆形头像），加上现代...
0
微软官方Cortana for Android泄露，多图展示
微软计划本月发布 Cortana for Android 应用，但似乎已经在发布之前泄露。如果你已经用过 Windows Phone 或 Windows 10 版 Cortana，Android 版也会很快上手。Cortana for Android 支持笔记本，里面存储了你的账号在...
0
消息称爱奇艺正拆除VIE 筹备国内上市
雷建平 7 月 17 日报道有关优酷土豆与爱奇艺的绯闻故事再度上演。今日又有传闻称，优酷土豆正和爱奇艺进行收购洽谈，双方已达成基本收购方案，优酷土豆最快将在 2 个月内完成对爱奇艺收购。这已是近期以来第二次传闻优酷土豆要和爱奇艺合并，不过，龚宇和数名爱奇艺高管近几日在微信朋友...
3
为什么人一旦胖了便很难再瘦回去？
图片来源：GettyImages一项新的研究显示，肥胖的人几乎不太可能再瘦回正常体重。伦敦国王学院(King's College London)的研究人员发现，“男胖子”瘦回正常体重的几率为1/210，“女胖子”的这一比例为1/...
6
为什么要投资程序员的幸福？
英文原文：Why It Pays to Care About the Happiness of Your Software Developers原本一一开头我想引用达赖喇嘛的关于“明智的自私”的言语，但转念一想，不行，这样一来会立马疏远一些可能真正需要阅读本文的人...
0
Google挖Homejoy员工，拟推家政O2O服务
据《华尔街日报》消息指出，Google 计划推出 O2O 家政服务。目前 Google 已招募了清洁服务平台 Homejoy 的部分技术团队。目前 Homejoy 对此并无回应。Homejoy 的创建于 2012 年，旨在为用户提供高效、高质量的房屋清洁服务。仅用了六个月的时间，Ho...
1
新视野号发现冥王星高度扩展的大气层
这幅冥王星全球地图显示了新视野号在对冥王星掩星（太阳）观测时，冥王星上日出与日落的位置新视野号团队的科学家发现冥王星富含氮的大气层从冥王星表面一直扩展到 1600 公里高度。这也是第一次近距离观察到冥王星大气层的高度超过表面 270 公里。这次对冥王星大气层的观测是在新视野号 1...
1
谷歌市值一日增669亿美元 创股市新纪录
7 月 18 日，到周五收盘时，谷歌股票每股股价达到创纪录的 699.62 美元，暴涨了 16.3%，创造了华尔街又一个神话。这也是 2008 年 4 月份以来，谷歌股价单日涨幅最大的一天。这种增长促使谷歌市值增加 669 亿美元，达到 4780 亿元。谷歌单日市值增长创造了新的世界...
0
亚马逊如何将海外商品送到你的手中？
纪振宇 7 月 18 日硅谷报道亚马逊遍布全球的 109 个配送运营中心（Amazon Fulfilment Center），时刻不停地处理着来自全球用户源源不断的订单，各类商品就从这里出发，踏上全国甚至全球之旅。亚马逊运营中心一向以其神秘的形象示人，在亚马逊成立 20 周年之际...
0
俞敏洪：我不同意新东方回A股
新东方不回A股新东方最初其实是我的家族成员做起来的，外面的人才不断地进入新东方，用外面的人才来做新东方，还是继续用家族成员，这里面其实是一个非常痛苦的抉择，因为你要把家族成员赶走的话，意味着得罪所有的家族成员。如果你用外面有才华的人，包括我的大学同学等等，那意味着你各方面必须...
0
Hulu拟效仿Netflix推免广告追剧 涨价一半
在网络追剧和版权影视服务方面，Netflix 已经成为全球老大。Netflix 之所以火爆，最重要的原因是影视服务收取会员费，但是没有视频广告的骚扰。据美国科技新闻网站 Engadget 报道，Netflix 的竞争对手 Hulu 决定效仿 Netflix，推出免广告的会员服务，收费...
0
诺基亚发布会引四大猜想：或与地图交易相关
最近，芬兰诺基亚公司屡屡成为新闻头条，诺基亚也给外界留下了太多的疑问：比如何时开始做智能手机？寻找哪一家公司作为合作伙伴？诺基亚地图的转让拖拖拉拉半年，何时敲定买家？传言还称，诺基亚的安卓平板还要推出第二代。据美国科技新闻网站“AndroidHeadlines&rdquo...
0
看今年苹果如何盈利525亿美元
7 月 18 日，在 2014 年最后三个月，苹果创造了企业史上单季度盈利 180 亿美元的最高纪录。而据路透社分析师预测，截止到 9 月份 2015 财年结束时，苹果的净利润将达到 525 亿美元。如果真能实现这个目标，苹果将创造企业史上年盈利的最高纪录，打破石油巨头埃克森美孚 200...
0
华为：欧洲市场很开放 如同另一个本土市场
7 月 18 日，作为中国的网络与设备制造商，华为在拓展国际市场方面曾遭遇了一些阻力，例如目前在进军美国市场或许就面临着一些挫折。不过，与在美国市场相比，华为在欧洲市场的境况却大相径庭。数据显示，华为今年以来已经与欧洲的多家公司签订了 15 起合作交易协议，几乎与 2014 年总交易...
0
T-Mobile报警服务中断被罚款1750万美元
7 月 18 日，美国第四大运营商T-Mobile 已经与美国联邦通讯委员会（FCC）达成和解，同意因去年其网络问题导致紧急报警服务中断问题而接受 1750 万美元罚款。T-Mobile 还被要求承诺执行“合规计划”，以确保将来不再出现类似中断事件。这是联邦通讯委员会...
1
微软整合应用店 开设大型虚拟购物商城
7 月 18 日，微软已经重新整合其应用店，将 Windows Store 和 Windows Phone Store 合并，开设大型虚拟购物商城。重新设计应用店是微软尝试在 PC、平板电脑以及手机等设备上统一 Windows 10 体验努力的一部分。过去，微软 Windows PC...
3
22岁是智力高峰27岁开始变笨？胡说
弗吉尼亚大学科研人员历时七年，对两千名 18 岁至 60 岁之间的男性和女性进行了测试，结果表明人的智力在 22 岁时达到顶峰，而仅在 5 年之后，27 岁时就开始变笨。在 12 项测试中(记忆力、逻辑推理、反应速度、空间想象力等测试)，其中有 9 项获得最高分的调查对象平均年龄是 22 岁...
0
iPod touch只需一天便可发货 买还是不买?
经历短暂的审核程序之后，全新的 iPod touch（第六代）已于昨天下午正式在中国地区开卖，昨天开卖后全新的 iPod touch 需要1-3 天的时间发货，不过可能是因为需求量远没有其它产品大的缘故，今天我们发现这款产品的发货时间又提前了。值得一提的是，昨天晚上到今天早上这款产品...
1
特斯拉推新旗舰 Model S P90D，百公里加速3 秒
美国时间 7 月 17 日下午，特斯拉宣布推出三款新车型：Model S P90D、Model S 90 以及 Model S 70。据特斯拉官方消息，旗舰版 Model S P90D 从 0 到 100km/h 加速为 3 秒，刷新了由 Model S P85D 保持的 3.3 秒...
1
超酷！这18件事也可以用Google做
Google 是万能的？这句话似乎有些夸张，但以下的 18 件事，你也可以用 Google 办到。不信？一起来看看吧！1. 涂鸦翻译：在街上看见外星语，临摹下来却不知道怎么输进电脑 Google?Google Translate 推出了涂鸦翻译功能，可以“画&...
