欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
在Web Game中, Flash, Ajax是两项基本技术，而现在是HTML5的时代了。
而擅长Flash, Ajax的OpenLaszlo 能否在 Web Game 扮演一个重要角色，为Web Game带来更多Rich Client的感觉。让我试试后再说。
不过, 还是觉得 PHP + HTML5 + JavaScript 是更好组合.
