Arbiter 为北京航空航天大学为 NOI Linux 开发的评测工具,现已用于各大 NOI 系列程序设计竞赛的评测。
## 各大编辑器
### Vim -- 编译器之神
#### 历史与争端 (emm 跟战争似的)
vim 的前身是 vi,一个简洁但是略有不足的编译器,但是从 vi 开始,编辑器的模式区分和唯快不破的思想就已经体现的很到位了。vim 即是 vi improved,是在 vi 原本所有的方式上进行的进一步提升,但是并不会改变 vi 的其他本质,只是增加了更多适应如今需要的一些功能。
vi 于1776年诞生,与 emacs 不分先后,两者因其快捷的编辑被奉为神器,甚至使用者们还有爆发过“圣战”,即是神的编译器 emacs VS 编译器之神 vim,但是当然分不出结果,因为各有优劣。但它们共有的特点就是高度的扩展性与高度的可定制性以及快捷方便的使用。
vim 的模式区分是一个很有意思的设定,普通模式与插入模式是最主要常用的模式,普通模式下的每个键都是命令,这便是 vim 不同于 emacs 的地方,若是习惯了 vim 的模式之间的切换,大部分都是单个键的命令必然比 emacs 的无限 ctrl 会更高效,虽然 vim 的小容量注定比不了 emacs “操作系统”这个东西那么万能,但是论快而言,vim 是无可争议的顶尖编辑器。
vim 有丰富的插件扩展,这点显然是比配置更迷人的存在。有这些扩展性存在,vim 成为一个IDE也不会是不可能的事情。