欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Huihoo 2.0
来自开放百科 - 灰狐
Huihoo 2.0 Plan：
- 目标: 成为 Open Source 综合门户；
- 用 ruby on rails 重新开发论坛等服务；
- 整合已有服务: 包括 Wiki, Blogs, Photo；
- 实现SSO；
- 为每位用户建立二级域名：如 http://allen.huihoo.com, http://fat1.huihoo.com
- 开辟招聘频道
Team:
- Allen
分享您的观点
