欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Diaspora:一个开源的社交网络系统,基于 Ruby 构建,意在建立一个开放、去中心的全球社交网络。它会不会成为 Facebook 的克星?
<discussion>characters_max=300</discussion>