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，这是去年 …
安卓平台开源免费的NDS模拟器nds4droid
nds4droid是针对Android平台开发的免费开源（并且无广告的）任天堂NDS的模拟器，基于Windows平台下的NDS模拟器DeSmuME所开发。NDS很适合在手机上以触摸屏的方式进行游戏, …
GalliumOS：为 ChromeOS 设备而生的 Linux 发行版
GalliumOS 是个快速，轻量级的 Linux 发行版，专注于 ChromeOS 设备。 主要特性： 性能：优化系统，改进整体响应 触摸板：集成 ChromeOS 鼠标驱动，提供类似 Chrome…