欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
来自开放百科 - 灰狐
（版本间的差异）
小 (→图集) |
小 (→开源项目) |
||
| 第6行： | 第6行： | ||
==开源项目== | ==开源项目== | ||
| − | *[[Zoie]] | + | *[[Zoie]] - Real-time search indexing |
| − | *[[Bobo]] | + | *[[Bobo]] - Fast faceted search with Lucene |
| − | *[[Decomposer]] | + | *[[Decomposer]] - Massive matrix decompositions |
| − | *[[Norbert]] | + | *[[Norbert]] - Partitioned routing and cluster management |
| − | *[[Voldemort]] | + | *[[Voldemort]] - A distributed database |
| − | *[[Kafka]] | + | *[[Kafka]] - A high-throughput distributed messaging system |
| − | *[[Kamikaze]] | + | *[[Kamikaze]] - Doc set compression |
| − | *[[Krati]] | + | *[[Krati]] - A persistent high-performance data store |
| − | *[[Sensei]] | + | *[[Sensei]] - A distributed, elastic, realtime, searchable database |
| − | *[[Azkaban]] | + | *[[Azkaban]] - Simple hadoop workflow |
==图集== | ==图集== | ||
2011年6月17日 (五) 05:11的版本
|
您可以在Wikipedia上了解到此条目的英文信息 LinkedIn Thanks, Wikipedia. |
LinkedIn是一家面向商业客户的社交网络服务网站，已成功登陆纽交所。成立于2002年12月并于2003年启动。2011年1月，LinkedIn已经有超过9000万的注册用户。网站的目的是让注册用户维护他们在商业交往中认识并信任的联系人，这些人被称为“人脉”（Connections）。用户可以邀请他认识的人成为人脉。
LinkedIn的CEO及创始人Reid Hoffman先前为PayPal的执行副总裁。
开源项目
- Zoie - Real-time search indexing
- Bobo - Fast faceted search with Lucene
- Decomposer - Massive matrix decompositions
- Norbert - Partitioned routing and cluster management
- Voldemort - A distributed database
- Kafka - A high-throughput distributed messaging system
- Kamikaze - Doc set compression
- Krati - A persistent high-performance data store
- Sensei - A distributed, elastic, realtime, searchable database
- Azkaban - Simple hadoop workflow
图集
技术与架构
实时Tweet搜索
链接
分享您的观点
