“世界上最可靠的操作系统”seL4开源了！

一个宣称是世界上最可靠的操作系统的、由澳大利亚开发的Secure Embedded L4（简称seL4）微内核现在面向全球开源了。 L4是一组基于微内核构架的操作系统内核。五年前，澳大利亚研究组织NICTA创造了一个新的L4版本，称为 Secure Embedded L4，宣布在世界上率先...

起名真困难，XBMC项目更名为Kodi

开源多媒体播放器项目XBMC（Xbox Media Center）更名为Kodi Entertainment Center，今年晚些时候发布的最新版本将正式启用新名字Kodi 14。 XBMC最初是为Xbox开发的媒体播放器，故名XBox Media Center，但如今已名不副实，最后一个支持Xbox的版本是2009年发布...

Windows在中国OS市场依然是“独孤求败”

尽管此前有消息称，国内政府部门希望可以将自主研发的操作系统或者Linux系统取代Windows，但这一想法目前显然是无法实现的。市调机构CNCC日前新发布的一份统计报告显示，Windows在中国OS市场依然占据着绝对领导的地位。 这份统计报告日前通过CNTV报道指出，...

“中标麒麟”系统将装入戴尔电脑 全拼域名已注

易名中国（eName.cn）8月1日讯，据媒体报道，戴尔今天宣布与中标软件有限公司签署合作协议，计划在戴尔电脑预装中标麒麟操作系统，而全拼域名早已抢先注册。 图：戴尔官网首页 据介绍，中标麒麟（NeoKylin）桌面操作系统主要针对通用x86以及龙芯、飞腾等国产...

PHP语言终于有了正式的规范

PHP是最广泛使用的脚本语言之一，被数以千万计的网站使用，但直到现在它才有一个正式的语言规范。 Facebook工程师和PHP核心开发者 Sara Golemon在上月初举行的OSCON会议上宣布了制定正式规格的计划，现在规格的草案已经发布在Github上，也可以从此下载。 Fac...

俄政府要求苹果与SAP开放源代码 以防外国监控

据外电30日报道，俄罗斯向苹果公司和SAP公司提议，希望他们向俄政府开放源代码，以确保他们的产品不会成为监控俄罗斯国家机构的工具。 俄 罗斯通讯和大众传媒部在声明中表示，俄通讯和大众传媒部长尼古拉尼基福罗夫(Nikolai Nikiforov)上周在与苹果驻俄总经...

传iPhone 6或将推迟至10月发售

域名城（domain.cn）8月1日消息，据科技博客网站AppleInsider报道，一名消息人士透露，苹果计划9月16日举行新产品发布会公布iPhone 6，正式发售时间则跳票至10月14日。 9月16日和10月14日都是星期二，传统上苹果总是在星期二公布新产品，而非发售新产品。例...

Ubuntu 13.10的支持到今天结束

尽管目前运行良好，在经历了9个月的折腾后，今天官方对Ubuntu 13.10(俏皮蝾螈)的支持正式寿终正寝。 尽管它的名字叫俏皮蝾螈，但它所提供的新功能却无比的乏味。 那些仍然在使用它的用户应该看看最新的发行的稳定版了，Ubuntu 14.04 LTS。在四月推出的这个版...

第九届中国Linux内核开发者大会将于10月19日召开，现在征稿

2014年第九届 @中国Linux内核开发者 大会，秉承AKA阿卡社区一贯的自由、协作、创造的技术理念，定于2014年10月19日（周日）在北京举办，本着纯技术、非商业的原则，本届大会筹委会现面向广大内核开发者征稿。 关于大会 中国Linux内核开发者大会，是中国Linux...

openSUSE Factory成为滚动更新发行版

openSUSE项目宣布，Factory开发版本转变为采用滚动更新模式的独立发行版。openSUSE称，更新的软件包不会直接进入到Factory，而是需要经过自动和手动的检查和测试，证明其功能和值得信任后才会进入Factory。 openSUSE董事会主席Richard Brown认为，每日更新的...