欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Allen
来自开放百科 - 灰狐
Allen ,属虎 开源运动的积极参与者。
信奉最好的方式就是将一件事情做到极致,Google 就是这样获得成功的。
互联网公司的核心竞争力是什么?是技术。 Google, Baidu, Sogou 说明了这点.
喜欢哲学、数学、理论物理,希望今后能有更多时间花在这些方面。
“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 ...
- Middleware: SOA, JBoss, Geronimo, ACE, Lighttpd, Apache HTTP Server ...
- Application: P2P, Enterprise Portal, CMS, Blog, Wiki, Forum ...
个人主页: http://www.huihoo.org/~allen/
当前生活:看书 + Search Engine + File Sharing + Web 2.0 + SOA + 四快:快速重构、快速开发、快速测试、快速发布
关注
- http://www.lfan.net/
- 读书公园(Bomoo.com)是一个开放式的电子书籍数据库,致力于收集和整理互联网上的免费电子书信息。您可以自由的使用它搜索、添加、发布电子书信息。
爱好
人物
- “数学之美就在于简单。虽形式简单,但是证明起来却很难,很神秘。书法虽是纯粹的艺术,但是也要严谨严格,然后才是狂放。同样一个字,楷书就那么几个笔画,但草书就变化很多。数学和书法是有相通之处的。”王元
分享您的观点