欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Backrub
来自开放百科 - 灰狐
（版本间的差异）
| 第3行： | 第3行： | ||
当初在Google没有成立之前,他们的搜索引擎托放在斯坦福大学的服务器上,而当时它叫做BakcRub. | 当初在Google没有成立之前,他们的搜索引擎托放在斯坦福大学的服务器上,而当时它叫做BakcRub. | ||
| − | [[Image: | + | [[Image:BackRub.jpg]] |
他们的LOGO是拉里.佩奇（Larry Page）的手扫描得来的 | 他们的LOGO是拉里.佩奇（Larry Page）的手扫描得来的 | ||
2006年7月24日 (一) 21:27的版本
Backrub（Google当时的名字）
当初在Google没有成立之前,他们的搜索引擎托放在斯坦福大学的服务器上,而当时它叫做BakcRub.
他们的LOGO是拉里.佩奇（Larry Page）的手扫描得来的
分享您的观点
