欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Allen
来自开放百科 - 灰狐
Allen ,属虎 开源运动的积极参与者。
信奉最好的方式就是将一件事情做到极致,Google 就是这样获得成功的。
互联网公司的核心竞争力是什么?是技术。 Google, Baidu, Sogou 说明了这点.
Digital Foundation == (Virtualization + SOA + Web2.0)^OSS.
喜欢哲学、数学、理论物理,希望今后能有更多时间花在这些方面。
“Yahoo CEO说,创新无非三种形式——build、buy、partner。”
Internet 的用户行为主要有三种:
- search engine // 信息搜索
- download // 内容下载
- upload/publish // 内容发布,Web 2.0 核心理念
研究领域:
- Operating System: BSD, Linux, Solaris, Server, Storage, Search Engine, Grid ...
- Database: PostgreSQL, MySQL, Berkeley DB, Infomation Format(XML,RSS) ...
- Middleware: SOA, GlassFish, Geronimo, ACE, Lighttpd, Apache HTTP Server ...
- Application: P2P, Enterprise Portal, CMS, Blog, Wiki, Forum ...
个人主页: http://www.huihoo.org/~allen/
当前生活:看书 + Search Engine + File Sharing + Digital Media + CMS & Portal + Web 2.0 + SOA + 工作:重构、开发、测试、发布
关注
- OOPS,Opensource Opencourseware Prototype System
- 中国开放式教育资源共享协会
- http://www.lfan.net/
- 读书公园(Bomoo.com)是一个开放式的电子书籍数据库,致力于收集和整理互联网上的免费电子书信息。您可以自由的使用它搜索、添加、发布电子书信息。
爱好
- 健身、吉他
人物
- “数学之美就在于简单。虽形式简单,但是证明起来却很难,很神秘。书法虽是纯粹的艺术,但是也要严谨严格,然后才是狂放。同样一个字,楷书就那么几个笔画,但草书就变化很多。数学和书法是有相通之处的。”王元
- Albert Einstein
- 29岁时即获得菲尔兹奖的普林斯顿大学教授查尔斯·费弗曼(Charles Fefferman)则愿意用著名作曲家斯特拉文斯基来形容陶哲轩(Terence Tao)。他告诉本报记者:“莫扎特的音乐只有一种风格,陶的数学却有很多种风格,他大概更像斯特拉文斯基。”
分享您的观点