编程语言 Scala 2.12.0-M1 发布
Scala 2.12.0-M1 发布，Scala 2.12 系列的目标是 Java 8。下载：scala-lang.org Maven CentralScala 2.12 改进计划：Java 8 style closures.Lambda syntax for SAM typesNew backend and optimizer将会移除的模块...
Android 将来或成谷歌重要收入来源
在全球已售出的智能手机中，3/4都使用谷歌(微博)的移动操作系统Android，而且其在应用下载生态系统中占据主导地位。近来两家市场研究公司公布的报告显示，Android可能成为谷歌潜在的一大收入来源。全球第一大移动...
梵蒂冈图书馆用开源文件格式存档历史
梵蒂冈图书馆认为开源文件格式是数字时代人类保存历史的唯一可靠方式。CIO Luciano Ammenti说，为了将手稿转成可读的数字文件，梵蒂冈图书馆选择了开源工具，读取它不需要使用私有软件如Microsoft Office。“我们...
计算机正在改变数学证明的验证
Vladimir Voevodsky于 1966年6月4日出生在莫斯科，为了理解物理学他对数学产生了兴趣，随后他又一发不可收拾的爱上了抽象代数。虽然他没有读完数学的本科学业，但在 1989年共产党倒台后这一切变得无关紧要，他用...
CoreOS Alpha 675.0.0 发布 服务器操作系统
CoreOS Alpha 675.0.0 发布，此版本更新内容如下：Docker 1.6.1-rc2[CVE-2015-3629] Symlink traversal on container respawn allows local privilege escalation[CVE-2015-3627] Insecure opening of file-descr...
