Author Archives: 叶, 秀兰 - Page 23
GNOME 3.22 发布计划出炉，速度忒快！
GNOME 计划在 2016 年 9 月 21 日发布！ GNOME 桌面环境下一个主要版本的发布日期都已经在计划表上罗列出来了。 GNOME 将会是下一个主要的稳定版本，GNOME 团队刚刚才发布了…
CakeML —— 函数式编程语言
CakeML 是 ML 的证明实现，是个函数式编程语言，包含一个编译器和运行时系统。 CakeML 基于 Standard ML 实质性的子集，是高阶逻辑的特定语义。CakeML 的编译器算法也是在高…
FreeNAS 9.10 发布，支持 USB 3.0
2016 年，世界上首屈一指的软件定义存储软件 FreeNAS 将会有重大的变革。FreeNAS 在本月 23 日发布，将会是这个重大变革的开端，揭示着操作系统将会驱动下一代的 FreeNAS。Fre…
Linux Kernel 4.6 RC1 发布，新增文件系统 orangefs
Linux Kernel RC1 发布，此版本解决了一些文件系统的问题，主要是 Git 维护方面的问题。Linux Kernel RC1 最值得关注的是新增了一个文件系统：orangefs，这是去年 …
GalliumOS：为 ChromeOS 设备而生的 Linux 发行版
GalliumOS 是个快速，轻量级的 Linux 发行版，专注于 ChromeOS 设备。 主要特性： 性能：优化系统，改进整体响应 触摸板：集成 ChromeOS 鼠标驱动，提供类似 Chrome…