Mindex：小而快的 JavaScript 复合索引
Mindex 是个小而快的 JavaScript 复合索引，灵感来源于 JavaScript 内存数据库 LokiJS ()。 Mindex 可以帮助用户在集合中查找对象，Mindex 可以迅速的搜索…
适合初学者的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…