Archives for 3 月, 2016 - Page 2
适合初学者的Linux发行版:Rebellin
Rebellin是基于Debian GNU的Linux发行版本,对系统要求低,速度快且界面友好简单,已预装常用的软件,以及必要的硬件驱动,适合初学者学习和使用。 官网:
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,这是去年 …