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