欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Huihoo 2.0
来自开放百科 - 灰狐
（版本间的差异）
| 第2行： | 第2行： | ||
* 目标: 成为 Open Source 的强大社区； | * 目标: 成为 Open Source 的强大社区； | ||
| − | * 用 Ruby On Rails | + | * 用 Ruby On Rails 重新构建整个网站, 并重新开发相关服务； |
| − | * 整合已有服务: 包括 Wiki, Blogs, Photo； | + | * 整合已有服务: 包括 Forum, Wiki, Blogs, Photo； |
* 实现SSO； | * 实现SSO； | ||
* 为每位用户建立二级域名：如 http://allen.huihoo.com, http://fat1.huihoo.com 等 | * 为每位用户建立二级域名：如 http://allen.huihoo.com, http://fat1.huihoo.com 等 | ||
2006年9月9日 (六) 00:56的版本
Huihoo 2.0 Plan：
- 目标: 成为 Open Source 的强大社区；
- 用 Ruby On Rails 重新构建整个网站, 并重新开发相关服务；
- 整合已有服务: 包括 Forum, Wiki, Blogs, Photo；
- 实现SSO；
- 为每位用户建立二级域名：如 http://allen.huihoo.com, http://fat1.huihoo.com 等
- 开辟招聘频道
Team:
- Allen
分享您的观点
