欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
io.js已重回node.js社区。io.js has merged with the Node.js project again.
因为对Joyent的管理的不满,Node.js 多位核心开发者创建分支io.js,新分支将采用开放治理模式。