欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 LinkedIn Thanks, Wikipedia. |
LinkedIn是一家面向商业客户的社交网络服务网站,已成功登陆纽交所。成立于2002年12月并于2003年启动。2011年1月,LinkedIn已经有超过9000万的注册用户。网站的目的是让注册用户维护他们在商业交往中认识并信任的联系人,这些人被称为“人脉”(Connections)。用户可以邀请他认识的人成为人脉。
LinkedIn的CEO及创始人Reid Hoffman先前为PayPal的执行副总裁。
开源项目
- Zoie - 实时搜索引擎
- Bobo - 基于Lucene的搜索
- Decomposer - 大规模矩阵分解
- Norbert - 分区路由和集群管理
- Voldemort - 分布式数据库
- Kafka - 高吞吐量的分布式消息系统
- Kamikaze - 文档集压缩
- Krati - 持久的高性能数据存储
- Sensei - 分布式、弹性、实时、可检索数据库
- Azkaban - 简单的Hadoop工作流
图集
链接
<discussion>characters_max=300</discussion>
分享您的观点