欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
bamanzi 写道 “Joe Barr 在newsforge上说: Linux和开源软件在游戏方面(尤其是FPS游戏, 就是DOOM, Quake, Unreal,Half-Life那一类的)总是在数量和质量上要落后一点,而Tremulous似乎是个例外。 Tremulous基于id software去年开放的Quake3引擎,而且有点即时战略的味道,玩的是人类和外星种族的对抗。目前有Linux版和Windows版。”(solidot)
http://tremulous.net/