世界上首个被数学证明安全的操作系统微内核seL4成立基金会
2优快云资讯门户 - hotnews 发布于 2020-04-17
近日 Linux 基金会宣布托管 seL4 基金会,该基金会以澳大利亚国家科学机构 CSIRO 的数字机构 Data61 创建的 seL4 操作系统微内核为基础项目。seL4 是一个安全操作系统内核,旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。
阅读(1575)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-04-17
近日 Linux 基金会宣布托管 seL4 基金会,该基金会以澳大利亚国家科学机构 CSIRO 的数字机构 Data61 创建的 seL4 操作系统微内核为基础项目。seL4 是一个安全操作系统内核,旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。
阅读(1575)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-04-17
Voyager 1.4.0 发布了。Voyager 是一个强大、快捷的 Laravel 后台管理扩展包,提供了 CRUD 操作、媒体管理、菜单构建与数据管理等功能。
阅读(1497)赞 (1)
优快云资讯门户 - hotnews 发布于 2020-04-09
Apache HTTP Server 2.4.43 稳定版已发布,此版本主要是修复安全漏洞以及内存泄露相关的错误。
阅读(2402)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-04-09
React Native 0.62 发布了,此版本一大亮点是默认支持 Flipper。另一大亮点是新的暗黑模式。
阅读(3028)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-04-09
Apache Wicket 9.0.0-M5 发布了。Wicket 是一个Java语言的Web开发框架,与 Struts、WebWork、Tapestry 相类似,其特点在于对 Html 和代码进行了有效的分离(有利于程序员和美工的合作)
阅读(1277)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-04-09
Brackets 1.14.2 发布了,Brackets 是 Adobe 的开源 HTML/CSS/JavaScript 集成开发环境。此版本提供了在外部应用中打开文件的方法,可以打开任意类型的文件。
阅读(1408)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-04-09
4月2日,华为宣布加入专利保护社区 OIN(Open Invention Network),成为 OIN 社区的被许可方和成员,同意与其它 OIN 成员以免专利使用费和互不侵犯(不进行专利主张或行使其专利权)的形式交叉授权其专利
阅读(1328)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-04-09
腾讯QQ Linux版迎来最新版发布,详细版本号为v2.0.0 Beta2,上一个版本2.0.0 Beta发布于去年10月24日,时隔160天又迎来了更新。本次升级主要是增加多人聊天会话支持,修复使用问题,提升用户体验,优化系统稳定性
阅读(1460)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-03-31
在 Ubuntu 19.10 中,Canonical 向其 Ubiquity 桌面安装程序添加了 ZFS 根文件系统安装选项,Ubuntu 20.04 的桌面安装程序则提供了简化的安装选项。
阅读(1964)赞 (0)
优快云资讯门户 - hotnews 发布于 2020-03-31
Apache Solr 8.5.0 发布了。Solr 是一个搜索服务器,使用 Java 语言开发,主要基于 HTTP 和 Apache Lucene 实现。Apache Solr 中存储的资源是以 Document 为对象进行存储的,每个文档由一系列的 Field 构成,每个 F...
阅读(1248)赞 (0)