欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Node.js 一个值得关注的 JavaScript 服务端框架，方便构建可伸缩的网络应用。
比较有特色的是支持 Google V8 JavaScript 引擎。
