欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Huihoo 2.0
来自开放百科 - 灰狐
Huihoo 2.0 Plan:
- 目标: 成为 Open Source 的强大社区;
- 用 Ruby On Rails 重新构建整个网站, 并重新开发相关服务;
- 整合已有服务: 包括 Forum, Wiki, Blogs, Photo;
- 实现SSO;
- 为每位用户建立二级域名:如 http://allen.huihoo.com, http://fat1.huihoo.com 等
- 开辟招聘频道
- 学习 43people, 43things, 43places 的Web应用, 将 人、事、地 三个重要的信息融合在一起。
Team:
- Allen
分享您的观点